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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494539-1751151644/watcher-4494539-1751151644 -o /tmp/evaluation-result-4494539-1751151644/solver-4494539-1751151644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14445 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494539-1751151644.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
Starting watchdog thread
solver pid=18676, runsolver pid=18673
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.16 4.13 4.10 5/266 18677
/proc/meminfo: memFree=128637692/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=89424 memory=18544 CPUtime=0.08 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 2188 0 0 0 8 0 0 0 20 0 1 0 30842254 91570176 4636 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 22356 4636 2240 595 0 7023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89424 KiB
Current children cumulated memory: 18544 KiB

[startup+0.205656 s]*
/proc/loadavg: 4.16 4.13 4.10 5/266 18677
/proc/meminfo: memFree=128541176/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=95620 memory=26764 CPUtime=0.19 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 3789 0 0 0 19 0 0 0 20 0 1 0 30842254 97914880 6691 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 23905 6691 2240 595 0 8572 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95620 KiB
Current children cumulated memory: 26764 KiB

[startup+0.305484 s]*
/proc/loadavg: 4.16 4.13 4.10 5/266 18677
/proc/meminfo: memFree=128513280/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=153736 memory=81140 CPUtime=0.29 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 11965 0 0 0 27 2 0 0 20 0 1 0 30842254 157425664 20285 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 38434 20285 2432 595 0 23101 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153736 KiB
Current children cumulated memory: 81140 KiB

[startup+0.700173 s]
/proc/loadavg: 4.16 4.13 4.10 5/266 18677
/proc/meminfo: memFree=128481024/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=117824 CPUtime=0.68 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23279 0 0 0 64 4 0 0 20 0 1 0 30842254 198938624 29456 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29456 2496 595 0 33236 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 117824 KiB

[startup+1.50017 s]
/proc/loadavg: 4.16 4.13 4.10 6/266 18677
/proc/meminfo: memFree=128440956/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=1.48 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23452 0 0 0 143 5 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+3.10551 s]
/proc/loadavg: 4.16 4.13 4.10 6/266 18677
/proc/meminfo: memFree=128465156/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=3.08 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23453 0 0 0 301 7 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+6.30016 s]
/proc/loadavg: 4.15 4.13 4.10 6/266 18677
/proc/meminfo: memFree=128514800/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=6.26 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23454 0 0 0 614 12 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.14 4.10 6/266 18677
/proc/meminfo: memFree=128629668/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=12.65 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23455 0 0 0 1245 20 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 6/266 18693
/proc/meminfo: memFree=128754532/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=25.41 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23455 0 0 0 2504 37 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 18693
/proc/meminfo: memFree=128957568/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=194276 memory=118464 CPUtime=50.94 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 23455 0 0 0 5014 80 0 0 20 0 1 0 30842254 198938624 29616 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 48569 29616 2496 595 0 33236 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 194276 KiB
Current children cumulated memory: 118464 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/266 18695
/proc/meminfo: memFree=128946864/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=202172 memory=130248 CPUtime=101.99 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25361 0 0 0 10066 133 0 0 20 0 1 0 30842254 207024128 32562 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50543 32562 2528 595 0 35210 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 202172 KiB
Current children cumulated memory: 130248 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 18741
/proc/meminfo: memFree=128836916/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=161.79 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25798 0 0 0 15976 203 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 18788
/proc/meminfo: memFree=127996176/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=221.6 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25799 0 0 0 21866 294 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 18836
/proc/meminfo: memFree=128927248/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=281.41 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 27793 348 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

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

# cumulated CPU time of all completed processes:  user=316.933 s, system=4.19997 s

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

[startup+307.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 18836
/proc/meminfo: memFree=128913228/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=306.24 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 30230 394 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 306.24 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+313.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 18837
/proc/meminfo: memFree=128913324/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=312.62 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 30857 405 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 312.62 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+316.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 18837
/proc/meminfo: memFree=128908852/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=315.81 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31171 410 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 315.81 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+320 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 18837
/proc/meminfo: memFree=128908860/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=319.01 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31485 416 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 319.01 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+320.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 18837
/proc/meminfo: memFree=128908860/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=319.8 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31563 417 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 319.8 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+321.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 18837
/proc/meminfo: memFree=128908860/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=320.6 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31642 418 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 320.6 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+322 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 18837
/proc/meminfo: memFree=128908860/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=321 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31681 419 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 321 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

[startup+322.105 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 18837
/proc/meminfo: memFree=128908860/131250000 swapFree=33010684/33010684
[pid=18676] ppid=18673 vsize=203876 memory=134068 CPUtime=321.1 cores=0,2
/proc/18676/stat : 18676 (SynLSCD-PS) R 18673 18676 14435 0 -1 4194304 25810 0 0 0 31691 419 0 0 20 0 1 0 30842254 208769024 33517 18446744073709551615 94708057300992 94708059735993 140726733007104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94708060216568 94708060249600 94708078292992 140726733011296 140726733011432 140726733011432 140726733017034 0
/proc/18676/statm: 50969 33517 2528 595 0 35636 0
Current children cumulated CPU time: 321.1 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 134068 KiB

Child status: 30

Real time (s): 322.128
CPU time (s): 321.133
CPU user time (s): 316.933
CPU system time (s): 4.19997
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 203876
Max. memory (cumulated for all children) (KiB): 134068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.933
system time used= 4.19997
maximum resident set size= 134068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25837
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= 1975


# summary of solver processes directly reported to runsolver:
#   pid: 18676
#   total CPU time (s): 321.133
#   total CPU user time (s): 316.933
#   total CPU system time (s): 4.19997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.573708 second user time and 1.44725 second system time

The end