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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493967-1751153047/watcher-4493967-1751153047 -o /tmp/evaluation-result-4493967-1751153047/solver-4493967-1751153047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751146906-14949 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1090273975 --ls=360 --inp-dombreaklim=0 HOME/instance-4493967-1751153047.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=16473, runsolver pid=16470
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 16474
/proc/meminfo: memFree=128751096/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=48008 memory=27292 CPUtime=0.1 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 5618 0 0 0 9 1 0 0 20 0 1 0 30982192 49160192 6823 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 12002 6823 1024 1200 0 10482 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48008 KiB
Current children cumulated memory: 27292 KiB

[startup+0.205462 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 16474
/proc/meminfo: memFree=128727028/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=66940 memory=45224 CPUtime=0.2 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 9339 0 0 0 19 1 0 0 20 0 1 0 30982192 68546560 11306 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 16735 11306 1024 1200 0 15215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 45224 KiB

[startup+0.305375 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 16474
/proc/meminfo: memFree=128711528/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=74828 memory=56980 CPUtime=0.3 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 11280 0 0 0 28 2 0 0 20 0 1 0 30982192 76623872 14245 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 18707 14245 1024 1200 0 17187 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74828 KiB
Current children cumulated memory: 56980 KiB

[startup+0.700179 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16474
/proc/meminfo: memFree=128652808/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=203556 memory=160800 CPUtime=0.68 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 25998 0 0 0 63 5 0 0 20 0 1 0 30982192 208441344 40200 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 50889 40200 1024 1200 0 49369 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 203556 KiB
Current children cumulated memory: 160800 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16474
/proc/meminfo: memFree=128421636/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=1.48 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 27979 0 0 0 142 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+3.10552 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16474
/proc/meminfo: memFree=128280152/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=3.08 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28001 0 0 0 302 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 16474
/proc/meminfo: memFree=128280404/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=6.27 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28023 0 0 0 621 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 16474
/proc/meminfo: memFree=128280972/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=12.64 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28045 0 0 0 1258 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 16474
/proc/meminfo: memFree=128281224/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=25.39 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28049 0 0 0 2533 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 16475
/proc/meminfo: memFree=128254448/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=50.9 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28089 0 0 0 5084 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 16521
/proc/meminfo: memFree=128592812/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=101.9 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28133 0 0 0 10184 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/265 16527
/proc/meminfo: memFree=128603588/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=161.68 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28155 0 0 0 16162 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/265 16531
/proc/meminfo: memFree=128581372/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=221.45 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28177 0 0 0 22139 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+282.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/265 16535
/proc/meminfo: memFree=128571692/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=281.22 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28199 0 0 0 28116 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.24 4.15 5/266 16538
/proc/meminfo: memFree=128569212/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=341 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28199 0 0 0 34094 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

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

# cumulated CPU time of all completed processes:  user=365.942 s, system=0.159518 s

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

[startup+345.6 s]
/proc/loadavg: 4.32 4.24 4.15 5/266 16538
/proc/meminfo: memFree=128569464/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=344.29 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28221 0 0 0 34423 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 344.29 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+358.4 s]
/proc/loadavg: 4.32 4.25 4.15 5/266 16539
/proc/meminfo: memFree=128569732/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=195700 memory=164660 CPUtime=357.04 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 28221 0 0 0 35698 6 0 0 20 0 1 0 30982192 200396800 41165 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 48925 41165 1024 1200 0 47405 0
Current children cumulated CPU time: 357.04 s
Current children cumulated vsize: 195700 KiB
Current children cumulated memory: 164660 KiB

[startup+361.6 s]
/proc/loadavg: 4.29 4.24 4.15 5/266 16539
/proc/meminfo: memFree=128569732/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=410836 memory=378260 CPUtime=360.23 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 43818 0 0 0 36009 14 0 0 20 0 1 0 30982192 420696064 94565 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 102709 94565 1184 1200 0 101189 0
Current children cumulated CPU time: 360.23 s
Current children cumulated vsize: 410836 KiB
Current children cumulated memory: 378260 KiB

[startup+364.8 s]
/proc/loadavg: 4.29 4.24 4.15 5/266 16539
/proc/meminfo: memFree=127578280/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=410836 memory=378900 CPUtime=363.42 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 43965 0 0 0 36328 14 0 0 20 0 1 0 30982192 420696064 94725 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 102709 94725 1184 1200 0 101189 0
Current children cumulated CPU time: 363.42 s
Current children cumulated vsize: 410836 KiB
Current children cumulated memory: 378900 KiB

[startup+366.4 s]
/proc/loadavg: 4.27 4.24 4.15 5/266 16539
/proc/meminfo: memFree=127600288/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=410836 memory=378900 CPUtime=365.02 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 43965 0 0 0 36487 15 0 0 20 0 1 0 30982192 420696064 94725 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 102709 94725 1184 1200 0 101189 0
Current children cumulated CPU time: 365.02 s
Current children cumulated vsize: 410836 KiB
Current children cumulated memory: 378900 KiB

[startup+367.2 s]
/proc/loadavg: 4.27 4.24 4.15 5/266 16539
/proc/meminfo: memFree=127614188/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=410836 memory=378900 CPUtime=365.81 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 43965 0 0 0 36566 15 0 0 20 0 1 0 30982192 420696064 94725 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 102709 94725 1184 1200 0 101189 0
Current children cumulated CPU time: 365.81 s
Current children cumulated vsize: 410836 KiB
Current children cumulated memory: 378900 KiB

[startup+367.4 s]
/proc/loadavg: 4.27 4.24 4.15 5/266 16539
/proc/meminfo: memFree=127614188/131250000 swapFree=33010684/33010684
[pid=16473] ppid=16470 vsize=410836 memory=378900 CPUtime=366.01 cores=1,3
/proc/16473/stat : 16473 (Exact) R 16470 16473 14937 0 -1 4194304 43965 0 0 0 36586 15 0 0 20 0 1 0 30982192 420696064 94725 18446744073709551615 4198400 9112445 140730805414480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 30240768 140730805422374 140730805422573 140730805422573 140730805428175 0
/proc/16473/statm: 102709 94725 1184 1200 0 101189 0
Current children cumulated CPU time: 366.01 s
Current children cumulated vsize: 410836 KiB
Current children cumulated memory: 378900 KiB

Child status: 30

Real time (s): 367.482
CPU time (s): 366.102
CPU user time (s): 365.942
CPU system time (s): 0.159518
CPU usage (%): 99.6244
Max. virtual memory (cumulated for all children) (KiB): 451960
Max. memory (cumulated for all children) (KiB): 419036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.942
system time used= 0.159518
maximum resident set size= 419036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43975
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= 2
involuntary context switches= 472


# summary of solver processes directly reported to runsolver:
#   pid: 16473
#   total CPU time (s): 366.102
#   total CPU user time (s): 365.942
#   total CPU system time (s): 0.159518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.701021 second user time and 1.66793 second system time

The end