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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482185-1751151547/watcher-4482185-1751151547 -o /tmp/evaluation-result-4482185-1751151547/solver-4482185-1751151547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751145766-15274 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=329026931 --ls=360 HOME/instance-4482185-1751151547.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=16794, runsolver pid=16791
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.14 4.10 4.09 4/255 16803
/proc/meminfo: memFree=130134720/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=48800 memory=27376 CPUtime=0.1 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 5640 0 0 0 9 1 0 0 20 0 1 0 30777246 49971200 6844 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 12200 6844 1024 1200 0 10680 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48800 KiB
Current children cumulated memory: 27376 KiB

[startup+0.205563 s]*
/proc/loadavg: 4.14 4.10 4.09 3/255 16803
/proc/meminfo: memFree=130117616/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=66940 memory=44412 CPUtime=0.2 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 9135 0 0 0 18 2 0 0 20 0 1 0 30777246 68546560 11103 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 16735 11103 1024 1200 0 15215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 44412 KiB

[startup+0.305519 s]*
/proc/loadavg: 4.14 4.10 4.09 3/255 16803
/proc/meminfo: memFree=130112764/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=76304 memory=59808 CPUtime=0.3 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 11451 0 0 0 28 2 0 0 20 0 1 0 30777246 78135296 14952 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 19076 14952 1024 1200 0 17556 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76304 KiB
Current children cumulated memory: 59808 KiB

[startup+0.700179 s]
/proc/loadavg: 4.14 4.10 4.09 3/257 16809
/proc/meminfo: memFree=130071948/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=180160 memory=142940 CPUtime=0.68 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 27658 0 0 0 63 5 0 0 20 0 1 0 30777246 184483840 35735 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 45040 35735 1024 1200 0 43520 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180160 KiB
Current children cumulated memory: 142940 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.10 4.09 3/255 16861
/proc/meminfo: memFree=129975948/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=1.48 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28388 0 0 0 141 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+3.10541 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 16922
/proc/meminfo: memFree=129310272/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=3.07 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28409 0 0 0 300 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 16922
/proc/meminfo: memFree=128333392/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=6.26 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28430 0 0 0 619 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 16922
/proc/meminfo: memFree=126992800/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=12.63 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28456 0 0 0 1256 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 16922
/proc/meminfo: memFree=126980204/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=25.38 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28473 0 0 0 2531 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.12 4.10 5/264 16924
/proc/meminfo: memFree=127061084/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=162112 CPUtime=50.87 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28547 0 0 0 5080 7 0 0 20 0 1 0 30777246 200396800 40528 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 40528 1024 1200 0 47405 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 162112 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 16926
/proc/meminfo: memFree=127056396/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=101.85 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28701 0 0 0 10178 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 16943
/proc/meminfo: memFree=127040448/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=161.61 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28770 0 0 0 16154 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 16945
/proc/meminfo: memFree=127030676/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=221.37 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28839 0 0 0 22130 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 16947
/proc/meminfo: memFree=127031320/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=281.13 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28908 0 0 0 28106 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 16949
/proc/meminfo: memFree=127015164/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=340.9 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28908 0 0 0 34083 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

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

# cumulated CPU time of all completed processes:  user=369.763 s, system=0.179804 s

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

[startup+358.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 16950
/proc/meminfo: memFree=127019424/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=195700 memory=167232 CPUtime=356.93 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 28977 0 0 0 35686 7 0 0 20 0 1 0 30777246 200396800 41808 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 48925 41808 1024 1200 0 47405 0
Current children cumulated CPU time: 356.93 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 167232 KiB

[startup+364.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126525748/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=363.31 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36315 16 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 363.31 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

[startup+368 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126543020/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=366.51 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36634 17 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 366.51 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

[startup+369.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126553068/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=368.09 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36792 17 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 368.09 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

[startup+370.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126458252/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=368.89 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36872 17 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 368.89 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

[startup+371.2 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=125371276/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=369.68 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36951 17 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 369.68 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

[startup+371.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=125371276/131250000 swapFree=33010684/33010684
[pid=16794] ppid=16791 vsize=397844 memory=369508 CPUtime=369.88 cores=4,6
/proc/16794/stat : 16794 (Exact) R 16791 16794 15263 0 -1 4194304 44259 0 0 0 36971 17 0 0 20 0 1 0 30777246 407392256 92377 18446744073709551615 4198400 9112445 140732909984816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27062272 140732909988155 140732909988333 140732909988333 140732909993935 0
/proc/16794/statm: 99461 92377 1184 1200 0 97941 0
Current children cumulated CPU time: 369.88 s
Current children cumulated vsize: 397844 KiB
Current children cumulated memory: 369508 KiB

Child status: 30

Real time (s): 371.448
CPU time (s): 369.943
CPU user time (s): 369.763
CPU system time (s): 0.179804
CPU usage (%): 99.5948
Max. virtual memory (cumulated for all children) (KiB): 438968
Max. memory (cumulated for all children) (KiB): 410508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.763
system time used= 0.179804
maximum resident set size= 410508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44278
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= 49
involuntary context switches= 292


# summary of solver processes directly reported to runsolver:
#   pid: 16794
#   total CPU time (s): 369.943
#   total CPU user time (s): 369.763
#   total CPU system time (s): 0.179804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.625802 second user time and 1.8154 second system time

The end