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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494003-1751153131/watcher-4494003-1751153131 -o /tmp/evaluation-result-4494003-1751153131/solver-4494003-1751153131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751146906-14948 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1090273975 --ls=360 --inp-dombreaklim=0 HOME/instance-4494003-1751153131.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
Starting watchdog thread
solver pid=16520, runsolver pid=16517
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 16521
/proc/meminfo: memFree=128724432/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=48008 memory=25240 CPUtime=0.09 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 5616 0 0 0 9 0 0 0 20 0 1 0 30990605 49160192 6310 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 12002 6310 1024 1200 0 10482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48008 KiB
Current children cumulated memory: 25240 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 16521
/proc/meminfo: memFree=128708556/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=66932 memory=43188 CPUtime=0.2 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 8826 0 0 0 19 1 0 0 20 0 1 0 30990605 68538368 10797 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 16733 10797 1024 1200 0 15213 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66932 KiB
Current children cumulated memory: 43188 KiB

[startup+0.305585 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 16521
/proc/meminfo: memFree=128708556/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=73736 memory=56040 CPUtime=0.3 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 10513 0 0 0 28 2 0 0 20 0 1 0 30990605 75505664 14010 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 18434 14010 1024 1200 0 16914 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73736 KiB
Current children cumulated memory: 56040 KiB

[startup+0.700188 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 16521
/proc/meminfo: memFree=128672516/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=192844 memory=137960 CPUtime=0.69 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 23331 0 0 0 64 5 0 0 20 0 1 0 30990605 197472256 34458 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48211 34490 1024 1200 0 46691 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192844 KiB
Current children cumulated memory: 137960 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16521
/proc/meminfo: memFree=128595648/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=1.49 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27460 0 0 0 142 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+3.10555 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16521
/proc/meminfo: memFree=128595900/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=3.09 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27484 0 0 0 302 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16521
/proc/meminfo: memFree=128596152/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=6.28 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27508 0 0 0 621 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 16521
/proc/meminfo: memFree=128592560/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=12.66 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27532 0 0 0 1259 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 16522
/proc/meminfo: memFree=128591780/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=25.42 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27538 0 0 0 2535 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 16522
/proc/meminfo: memFree=128570864/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=50.96 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27580 0 0 0 5089 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+102.3 s]
/proc/loadavg: 4.50 4.20 4.12 5/265 16528
/proc/meminfo: memFree=128590796/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=102.01 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27628 0 0 0 10194 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/265 16532
/proc/meminfo: memFree=128580940/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=161.84 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27652 0 0 0 16177 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 4.26 4.15 5/266 16537
/proc/meminfo: memFree=128568360/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=221.66 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27676 0 0 0 22159 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.24 4.15 5/266 16539
/proc/meminfo: memFree=127600288/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=281.49 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27700 0 0 0 28142 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/266 16631
/proc/meminfo: memFree=126505164/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=341.31 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27713 0 0 0 34124 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

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

# cumulated CPU time of all completed processes:  user=367.882 s, system=0.152595 s

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

[startup+345.6 s]
/proc/loadavg: 4.28 4.24 4.15 5/266 16631
/proc/meminfo: memFree=126505416/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=344.6 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27750 0 0 0 34453 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 344.6 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+358.4 s]
/proc/loadavg: 4.52 4.29 4.17 5/266 16631
/proc/meminfo: memFree=126495016/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=195708 memory=166672 CPUtime=357.36 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 27764 0 0 0 35729 7 0 0 20 0 1 0 30990605 200404992 41668 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 48927 41668 1024 1200 0 47407 0
Current children cumulated CPU time: 357.36 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 166672 KiB

[startup+364.8 s]
/proc/loadavg: 4.56 4.31 4.18 5/266 16631
/proc/meminfo: memFree=126243604/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=397568 memory=368476 CPUtime=363.74 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 45544 0 0 0 36360 14 0 0 20 0 1 0 30990605 407109632 92119 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 99392 92119 1184 1200 0 97872 0
Current children cumulated CPU time: 363.74 s
Current children cumulated vsize: 397568 KiB
Current children cumulated memory: 368476 KiB

[startup+366.4 s]
/proc/loadavg: 4.56 4.31 4.18 5/266 16631
/proc/meminfo: memFree=126243604/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=397568 memory=368476 CPUtime=365.33 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 45544 0 0 0 36519 14 0 0 20 0 1 0 30990605 407109632 92119 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 99392 92119 1184 1200 0 97872 0
Current children cumulated CPU time: 365.33 s
Current children cumulated vsize: 397568 KiB
Current children cumulated memory: 368476 KiB

[startup+368 s]*
/proc/loadavg: 4.51 4.30 4.18 5/266 16631
/proc/meminfo: memFree=126256556/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=397568 memory=368476 CPUtime=366.93 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 45544 0 0 0 36679 14 0 0 20 0 1 0 30990605 407109632 92119 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 99392 92119 1184 1200 0 97872 0
Current children cumulated CPU time: 366.93 s
Current children cumulated vsize: 397568 KiB
Current children cumulated memory: 368476 KiB

[startup+368.8 s]
/proc/loadavg: 4.51 4.30 4.18 5/266 16631
/proc/meminfo: memFree=126256556/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=397568 memory=368476 CPUtime=367.72 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 45544 0 0 0 36758 14 0 0 20 0 1 0 30990605 407109632 92119 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 99392 92119 1184 1200 0 97872 0
Current children cumulated CPU time: 367.72 s
Current children cumulated vsize: 397568 KiB
Current children cumulated memory: 368476 KiB

[startup+369 s]*
/proc/loadavg: 4.51 4.30 4.18 5/266 16631
/proc/meminfo: memFree=126266552/131250000 swapFree=33010684/33010684
[pid=16520] ppid=16517 vsize=397568 memory=368476 CPUtime=367.92 cores=4,6
/proc/16520/stat : 16520 (Exact) R 16517 16520 14937 0 -1 4194304 45544 0 0 0 36778 14 0 0 20 0 1 0 30990605 407109632 92119 18446744073709551615 4198400 9112445 140734477057424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35934208 140734477060390 140734477060589 140734477060589 140734477066191 0
/proc/16520/statm: 99392 92119 1184 1200 0 97872 0
Current children cumulated CPU time: 367.92 s
Current children cumulated vsize: 397568 KiB
Current children cumulated memory: 368476 KiB

Child status: 30

Real time (s): 369.104
CPU time (s): 368.035
CPU user time (s): 367.882
CPU system time (s): 0.152595
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 438692
Max. memory (cumulated for all children) (KiB): 409536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 367.882
system time used= 0.152595
maximum resident set size= 409536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45551
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= 29
involuntary context switches= 123


# summary of solver processes directly reported to runsolver:
#   pid: 16520
#   total CPU time (s): 368.035
#   total CPU user time (s): 367.882
#   total CPU system time (s): 0.152595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.565315 second user time and 1.89487 second system time

The end