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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494538-1751150406/watcher-4494538-1751150406 -o /tmp/evaluation-result-4494538-1751150406/solver-4494538-1751150406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751143366-14982 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494538-1751150406.opb 

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


[startup+0.100062 s]*
/proc/loadavg: 4.15 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128450732/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=89556 memory=18800 CPUtime=0.08 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 2222 0 0 0 8 0 0 0 20 0 1 0 30718115 91705344 4700 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 22389 4700 2272 595 0 7056 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89556 KiB
Current children cumulated memory: 18800 KiB

[startup+0.20537 s]*
/proc/loadavg: 4.15 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128445188/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=96148 memory=27332 CPUtime=0.19 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 3913 0 0 0 18 1 0 0 20 0 1 0 30718115 98455552 6833 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 24037 6833 2272 595 0 8704 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96148 KiB
Current children cumulated memory: 27332 KiB

[startup+0.305304 s]*
/proc/loadavg: 4.15 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128385332/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=163972 memory=90616 CPUtime=0.29 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 15415 0 0 0 26 3 0 0 20 0 1 0 30718115 167907328 22654 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 40993 22654 2400 595 0 25660 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 163972 KiB
Current children cumulated memory: 90616 KiB

[startup+0.70018 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128377268/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=117436 CPUtime=0.68 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24684 0 0 0 64 4 0 0 20 0 1 0 30718115 198938624 29359 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29359 2528 595 0 33236 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 117436 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128345296/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=1.47 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24857 0 0 0 142 5 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+3.10528 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128345296/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=3.08 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24858 0 0 0 299 9 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 19187
/proc/meminfo: memFree=128345296/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=6.27 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24859 0 0 0 611 16 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.11 5/264 19187
/proc/meminfo: memFree=128345312/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=12.65 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24860 0 0 0 1237 28 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 19188
/proc/meminfo: memFree=128337248/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=25.42 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24860 0 0 0 2495 47 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+51.1053 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 19188
/proc/meminfo: memFree=128329200/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=50.97 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24860 0 0 0 5007 90 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

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

# cumulated CPU time of all completed processes:  user=65.307 s, system=1.08541 s

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

[startup+51.2002 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 19188
/proc/meminfo: memFree=128329200/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=51.06 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24860 0 0 0 5016 90 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+57.6002 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 19188
/proc/meminfo: memFree=128329200/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194276 memory=118076 CPUtime=57.45 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24860 0 0 0 5644 101 0 0 20 0 1 0 30718115 198938624 29519 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48569 29519 2528 595 0 33236 0
Current children cumulated CPU time: 57.45 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118076 KiB

[startup+60.8002 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 19189
/proc/meminfo: memFree=128329232/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=194416 memory=118204 CPUtime=60.64 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 24885 0 0 0 5957 107 0 0 20 0 1 0 30718115 199081984 29551 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 48604 29551 2528 595 0 33271 0
Current children cumulated CPU time: 60.64 s
Current children cumulated vsize: 194416 KiB
Current children cumulated memory: 118204 KiB

[startup+64.0001 s]*
/proc/loadavg: 4.08 4.14 4.10 5/264 19189
/proc/meminfo: memFree=128326208/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=199360 memory=127024 CPUtime=63.84 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 26052 0 0 0 6276 108 0 0 20 0 1 0 30718115 204144640 31756 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 49840 31756 2560 595 0 34507 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 199360 KiB
Current children cumulated memory: 127024 KiB

[startup+65.6001 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 19189
/proc/meminfo: memFree=128326208/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=199624 memory=129448 CPUtime=65.43 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 26121 0 0 0 6435 108 0 0 20 0 1 0 30718115 204414976 32362 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 49906 32362 2560 595 0 34573 0
Current children cumulated CPU time: 65.43 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 129448 KiB

[startup+66.0002 s]*
/proc/loadavg: 4.08 4.14 4.10 5/264 19189
/proc/meminfo: memFree=128326208/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=199624 memory=129448 CPUtime=65.83 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 26121 0 0 0 6475 108 0 0 20 0 1 0 30718115 204414976 32362 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 49906 32362 2560 595 0 34573 0
Current children cumulated CPU time: 65.83 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 129448 KiB

[startup+66.4002 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 19189
/proc/meminfo: memFree=128326208/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=199624 memory=129448 CPUtime=66.23 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 26121 0 0 0 6515 108 0 0 20 0 1 0 30718115 204414976 32362 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 49906 32362 2560 595 0 34573 0
Current children cumulated CPU time: 66.23 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 129448 KiB

[startup+66.5002 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 19189
/proc/meminfo: memFree=128326208/131250000 swapFree=33010684/33010684
[pid=19186] ppid=19183 vsize=199624 memory=129448 CPUtime=66.33 cores=4,6
/proc/19186/stat : 19186 (SynLSCD) R 19183 19186 14971 0 -1 4194304 26121 0 0 0 6525 108 0 0 20 0 1 0 30718115 204414976 32362 18446744073709551615 94371585478656 94371587912809 140734836935536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94371588394232 94371588427264 94371620032512 140734836939110 140734836939243 140734836939243 140734836944845 0
/proc/19186/statm: 49906 32362 2560 595 0 34573 0
Current children cumulated CPU time: 66.33 s
Current children cumulated vsize: 199624 KiB
Current children cumulated memory: 129448 KiB

Child status: 30

Real time (s): 66.5599
CPU time (s): 66.3924
CPU user time (s): 65.307
CPU system time (s): 1.08541
CPU usage (%): 99.7484
Max. virtual memory (cumulated for all children) (KiB): 199624
Max. memory (cumulated for all children) (KiB): 129448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.307
system time used= 1.08541
maximum resident set size= 129448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26146
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= 139
involuntary context switches= 55


# summary of solver processes directly reported to runsolver:
#   pid: 19186
#   total CPU time (s): 66.3924
#   total CPU user time (s): 65.307
#   total CPU system time (s): 1.08541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12154 second user time and 0.320686 second system time

The end