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-4546136-1753259728/watcher-4546136-1753259728 -o /tmp/evaluation-result-4546136-1753259728/solver-4546136-1753259728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753259701-171468 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546136-1753259728.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=171655, runsolver pid=171646
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=171655] ppid=171646 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) D 171646 171655 171448 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241650609 17514496 160 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/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.20536 s]*
/proc/loadavg: 1.79 0.51 0.23 4/266 171660
/proc/meminfo: memFree=120173244/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) D 171646 171655 171448 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241650609 17514496 160 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/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.305177 s]*
/proc/loadavg: 1.79 0.51 0.23 4/264 171660
/proc/meminfo: memFree=120172956/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=86428 memory=13312 CPUtime=0.03 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 1384 0 0 0 3 0 0 0 20 0 1 0 241650609 88502272 3328 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 21607 3328 2208 595 0 6274 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 86428 KiB
Current children cumulated memory: 13312 KiB

[startup+0.700173 s]
/proc/loadavg: 1.79 0.51 0.23 4/264 171664
/proc/meminfo: memFree=120160956/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=155152 memory=88000 CPUtime=0.42 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 12749 0 0 0 39 3 0 0 20 0 1 0 241650609 158875648 22000 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 38788 22000 2336 595 0 23455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 155152 KiB
Current children cumulated memory: 88000 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=171655] ppid=171646 vsize=187896 memory=123428 CPUtime=1.22 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 18976 0 0 0 117 5 0 0 20 0 1 0 241650609 192405504 30857 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 46974 30857 2400 595 0 31641 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123428 KiB

[startup+3.10574 s]
/proc/loadavg: 1.96 0.57 0.25 4/262 171668
/proc/meminfo: memFree=119961684/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=187896 memory=123428 CPUtime=2.82 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 18986 0 0 0 277 5 0 0 20 0 1 0 241650609 192405504 30857 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 46974 30857 2400 595 0 31641 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123428 KiB

[startup+6.30018 s]
/proc/loadavg: 1.96 0.57 0.25 4/262 171668
/proc/meminfo: memFree=119917576/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=6 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29145 0 0 0 593 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 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=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=12.38 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29146 0 0 0 1231 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 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=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=25.14 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29146 0 0 0 2507 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+51.1058 s]
/proc/loadavg: 3.14 1.08 0.44 5/266 171751
/proc/meminfo: memFree=119649876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=50.66 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29156 0 0 0 5059 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

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

# cumulated CPU time of all completed processes:  user=64.2941 s, system=0.078759 s

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

[startup+51.2002 s]
/proc/loadavg: 3.14 1.08 0.44 5/266 171751
/proc/meminfo: memFree=119649876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=50.76 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29156 0 0 0 5069 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+57.6002 s]
/proc/loadavg: 3.21 1.13 0.46 5/266 171751
/proc/meminfo: memFree=119650388/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=57.14 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29156 0 0 0 5707 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 57.14 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+60.8002 s]
/proc/loadavg: 3.28 1.18 0.48 5/266 171751
/proc/meminfo: memFree=119638624/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=60.33 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29157 0 0 0 6026 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 60.33 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+62.4002 s]
/proc/loadavg: 3.28 1.18 0.48 5/266 171751
/proc/meminfo: memFree=119638876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=61.92 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29157 0 0 0 6185 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 61.92 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+64.0002 s]*
/proc/loadavg: 3.33 1.22 0.49 5/266 171751
/proc/meminfo: memFree=119638876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=63.52 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29157 0 0 0 6345 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 63.52 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+64.4002 s]
/proc/loadavg: 3.33 1.22 0.49 5/266 171751
/proc/meminfo: memFree=119638876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231340 memory=164004 CPUtime=63.92 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29157 0 0 0 6385 7 0 0 20 0 1 0 241650609 236892160 41001 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57835 41001 2400 595 0 42502 0
Current children cumulated CPU time: 63.92 s
Current children cumulated vsize: 231340 KiB
Current children cumulated memory: 164004 KiB

[startup+64.8002 s]
/proc/loadavg: 3.33 1.22 0.49 5/266 171751
/proc/meminfo: memFree=119638876/131250000 swapFree=33008356/33010684
[pid=171655] ppid=171646 vsize=231472 memory=164132 CPUtime=64.31 cores=5,7
/proc/171655/stat : 171655 (SynLSCD-PS) R 171646 171655 171448 0 -1 4194304 29194 0 0 0 6424 7 0 0 20 0 1 0 241650609 237027328 41033 18446744073709551615 93972255215616 93972257651033 140729169537744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93972258131192 93972258164224 93972268322816 140729169541501 140729169541639 140729169541639 140729169547243 0
/proc/171655/statm: 57868 41033 2400 595 0 42535 0
Current children cumulated CPU time: 64.31 s
Current children cumulated vsize: 231472 KiB
Current children cumulated memory: 164132 KiB

Child status: 30

Real time (s): 64.85
CPU time (s): 64.3729
CPU user time (s): 64.2941
CPU system time (s): 0.078759
CPU usage (%): 99.2643
Max. virtual memory (cumulated for all children) (KiB): 231472
Max. memory (cumulated for all children) (KiB): 164132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.2941
system time used= 0.078759
maximum resident set size= 164644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29281
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= 194
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 171655
#   total CPU time (s): 64.3729
#   total CPU user time (s): 64.2941
#   total CPU system time (s): 0.078759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138371 second user time and 0.328331 second system time

The end