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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522345-1751583443/watcher-4522345-1751583443 -o /tmp/evaluation-result-4522345-1751583443/solver-4522345-1751583443 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751576112-79287 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522345-1751583443.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=80724, runsolver pid=80721
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.56 4.21 4.13 5/263 80725
/proc/meminfo: memFree=111069776/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=54064 memory=15984 CPUtime=0.08 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 2058 0 0 0 8 0 0 0 20 0 1 0 74022767 55361536 3996 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 13516 3996 1664 2271 0 8154 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54064 KiB
Current children cumulated memory: 15984 KiB

[startup+0.205886 s]*
/proc/loadavg: 4.56 4.21 4.13 5/263 80725
/proc/meminfo: memFree=111028888/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=68748 memory=30532 CPUtime=0.18 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 6408 0 0 0 17 1 0 0 20 0 1 0 74022767 70397952 7633 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 17187 7633 1824 2271 0 11825 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68748 KiB
Current children cumulated memory: 30532 KiB

[startup+0.305698 s]*
/proc/loadavg: 4.56 4.21 4.13 5/263 80725
/proc/meminfo: memFree=111013012/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=70664 memory=32324 CPUtime=0.28 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 6865 0 0 0 27 1 0 0 20 0 1 0 74022767 72359936 8081 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 17666 8081 1824 2271 0 12304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70664 KiB
Current children cumulated memory: 32324 KiB

[startup+0.70018 s]
/proc/loadavg: 4.52 4.21 4.13 5/263 80725
/proc/meminfo: memFree=110932624/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=151720 memory=112068 CPUtime=0.66 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 25448 0 0 0 62 4 0 0 20 0 1 0 74022767 155361280 28017 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 37930 28017 3264 2271 0 32568 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 151720 KiB
Current children cumulated memory: 112068 KiB

[startup+1.50012 s]
/proc/loadavg: 4.52 4.21 4.13 5/263 80725
/proc/meminfo: memFree=110811664/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=166628 memory=126788 CPUtime=1.46 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 29118 0 0 0 142 4 0 0 20 0 1 0 74022767 170627072 31697 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 41657 31697 3296 2271 0 36295 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 166628 KiB
Current children cumulated memory: 126788 KiB

[startup+3.10578 s]
/proc/loadavg: 4.52 4.21 4.13 5/263 80725
/proc/meminfo: memFree=110436088/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=174112 memory=134212 CPUtime=3.06 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 30977 0 0 0 301 5 0 0 20 0 1 0 74022767 178290688 33553 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 43528 33553 3296 2271 0 38166 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 174112 KiB
Current children cumulated memory: 134212 KiB

[startup+6.30017 s]
/proc/loadavg: 4.47 4.20 4.13 5/263 80725
/proc/meminfo: memFree=109799908/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=271516 memory=223356 CPUtime=6.25 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 46873 0 0 0 617 8 0 0 20 0 1 0 74022767 278032384 55839 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 67879 55839 3328 2271 0 62517 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 271516 KiB
Current children cumulated memory: 223356 KiB

[startup+12.7001 s]
/proc/loadavg: 4.44 4.20 4.13 5/263 80725
/proc/meminfo: memFree=108679524/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=271752 memory=223612 CPUtime=12.63 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 46932 0 0 0 1255 8 0 0 20 0 1 0 74022767 278274048 55903 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 67938 55903 3328 2271 0 62576 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 271752 KiB
Current children cumulated memory: 223612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.19 4.12 5/263 80726
/proc/meminfo: memFree=106205392/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=305444 memory=255064 CPUtime=25.4 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 57290 0 0 0 2530 10 0 0 20 0 1 0 74022767 312774656 63766 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 76361 63766 3328 2271 0 70999 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 305444 KiB
Current children cumulated memory: 255064 KiB

[startup+51.1056 s]
/proc/loadavg: 4.36 4.21 4.13 4/261 80740
/proc/meminfo: memFree=101828532/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=305444 memory=255192 CPUtime=50.93 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 57344 0 0 0 5083 10 0 0 20 0 1 0 74022767 312774656 63798 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 76361 63798 3328 2271 0 70999 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 305444 KiB
Current children cumulated memory: 255192 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/265 80778
/proc/meminfo: memFree=83615708/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=305444 memory=255320 CPUtime=101.94 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 57374 0 0 0 10184 10 0 0 20 0 1 0 74022767 312774656 63830 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 76361 63830 3328 2271 0 70999 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 305444 KiB
Current children cumulated memory: 255320 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/262 80836
/proc/meminfo: memFree=102288472/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=333740 memory=282712 CPUtime=161.71 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 64214 0 0 0 16159 12 0 0 20 0 1 0 74022767 341749760 70678 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 83435 70678 3328 2271 0 78073 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 333740 KiB
Current children cumulated memory: 282712 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.13 4.11 5/266 80934
/proc/meminfo: memFree=114211784/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=340732 memory=291080 CPUtime=221.47 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 67246 0 0 0 22135 12 0 0 20 0 1 0 74022767 348909568 72770 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 85183 72770 3328 2271 0 79821 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 340732 KiB
Current children cumulated memory: 291080 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/266 80936
/proc/meminfo: memFree=110861228/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=341780 memory=298384 CPUtime=281.28 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 69009 0 0 0 28116 12 0 0 20 0 1 0 74022767 349982720 74596 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 85445 74596 3328 2271 0 80083 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 341780 KiB
Current children cumulated memory: 298384 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 80938
/proc/meminfo: memFree=110859312/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=352000 memory=315792 CPUtime=341.1 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 71905 0 0 0 34097 13 0 0 20 0 1 0 74022767 360448000 78948 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88000 78948 3328 2271 0 82638 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 352000 KiB
Current children cumulated memory: 315792 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110856676/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=352776 memory=316944 CPUtime=400.92 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72070 0 0 0 40079 13 0 0 20 0 1 0 74022767 361242624 79236 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88194 79236 3328 2271 0 82832 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 352776 KiB
Current children cumulated memory: 316944 KiB

[startup+405.379 s]
# the end of solver process 80724 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=403.864 s, system=0.139548 s

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

[startup+403.2 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110856824/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=352776 memory=316944 CPUtime=401.82 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72070 0 0 0 40169 13 0 0 20 0 1 0 74022767 361242624 79236 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88194 79236 3328 2271 0 82832 0
Current children cumulated CPU time: 401.82 s
Current children cumulated vsize: 352776 KiB
Current children cumulated memory: 316944 KiB

[startup+404 s]*
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110860856/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=352776 memory=316944 CPUtime=402.62 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72070 0 0 0 40249 13 0 0 20 0 1 0 74022767 361242624 79236 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88194 79236 3328 2271 0 82832 0
Current children cumulated CPU time: 402.62 s
Current children cumulated vsize: 352776 KiB
Current children cumulated memory: 316944 KiB

[startup+404.8 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110860856/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=353032 memory=317072 CPUtime=403.41 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72114 0 0 0 40328 13 0 0 20 0 1 0 74022767 361504768 79268 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88258 79268 3328 2271 0 82896 0
Current children cumulated CPU time: 403.41 s
Current children cumulated vsize: 353032 KiB
Current children cumulated memory: 317072 KiB

[startup+405.2 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110861000/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=353032 memory=317072 CPUtime=403.81 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72115 0 0 0 40368 13 0 0 20 0 1 0 74022767 361504768 79268 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88258 79268 3328 2271 0 82896 0
Current children cumulated CPU time: 403.81 s
Current children cumulated vsize: 353032 KiB
Current children cumulated memory: 317072 KiB

[startup+405.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80940
/proc/meminfo: memFree=110861000/131249996 swapFree=33010160/33010684
[pid=80724] ppid=80721 vsize=353032 memory=317072 CPUtime=403.91 cores=0,2
/proc/80724/stat : 80724 (ExactPR-S) R 80721 80724 79272 0 -1 4194304 72115 0 0 0 40378 13 0 0 20 0 1 0 74022767 361504768 79268 18446744073709551615 94344587259904 94344596559941 140724058995776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94344598346048 94344598385128 94344632332288 140724058999169 140724058999306 140724058999306 140724059004908 0
/proc/80724/statm: 88258 79268 3328 2271 0 82896 0
Current children cumulated CPU time: 403.91 s
Current children cumulated vsize: 353032 KiB
Current children cumulated memory: 317072 KiB

Child status: 0

Real time (s): 405.379
CPU time (s): 404.004
CPU user time (s): 403.864
CPU system time (s): 0.139548
CPU usage (%): 99.6607
Max. virtual memory (cumulated for all children) (KiB): 353032
Max. memory (cumulated for all children) (KiB): 317072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.864
system time used= 0.139548
maximum resident set size= 317328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72127
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= 144
involuntary context switches= 908


# summary of solver processes directly reported to runsolver:
#   pid: 80724
#   total CPU time (s): 404.004
#   total CPU user time (s): 403.864
#   total CPU system time (s): 0.139548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.798776 second user time and 1.92161 second system time

The end