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 (63959 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482697-1751169888/watcher-4482697-1751169888 -o /tmp/evaluation-result-4482697-1751169888/solver-4482697-1751169888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751169526-24399 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=456122462 --ls=360 HOME/instance-4482697-1751169888.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=24598, runsolver pid=24592

[startup+0.100061 s]*
/proc/loadavg: 4.13 3.63 3.64 4/260 24612
/proc/meminfo: memFree=130079048/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=0.1 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 10 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+0.20549 s]*
/proc/loadavg: 4.13 3.63 3.64 5/264 24621
/proc/meminfo: memFree=130059712/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=0.2 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 20 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+0.305457 s]*
/proc/loadavg: 4.13 3.63 3.64 5/264 24621
/proc/meminfo: memFree=130040056/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=0.3 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 30 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+0.700172 s]
/proc/loadavg: 4.13 3.63 3.64 5/264 24621
/proc/meminfo: memFree=130022556/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=0.69 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 69 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 3.63 3.64 5/264 24621
/proc/meminfo: memFree=129978456/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=1.49 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 149 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+3.10545 s]
/proc/loadavg: 4.13 3.63 3.64 5/264 24621
/proc/meminfo: memFree=129978192/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=3.09 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 309 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+6.30012 s]
/proc/loadavg: 4.12 3.63 3.64 5/264 24621
/proc/meminfo: memFree=129977744/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=6.28 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 628 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 3.64 3.64 5/264 24622
/proc/meminfo: memFree=129972664/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=12.66 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1441 0 0 0 1266 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 3.66 3.65 5/263 24622
/proc/meminfo: memFree=129970900/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=25.43 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1443 0 0 0 2543 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 3.70 3.66 5/263 24622
/proc/meminfo: memFree=129968664/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=50.97 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1446 0 0 0 5097 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.77 3.69 5/263 24625
/proc/meminfo: memFree=129924640/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=102.03 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1448 0 0 0 10203 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.83 3.72 5/263 24627
/proc/meminfo: memFree=129928996/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=161.87 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1450 0 0 0 16187 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.88 3.74 5/263 24629
/proc/meminfo: memFree=129914724/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=221.71 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1451 0 0 0 22171 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.92 3.77 5/263 24631
/proc/meminfo: memFree=129921680/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=281.53 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1452 0 0 0 28153 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.98 3.80 5/264 24636
/proc/meminfo: memFree=129924960/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=341.35 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1453 0 0 0 34135 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

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

# cumulated CPU time of all completed processes:  user=377.239 s, system=0.084791 s

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

[startup+358.4 s]
/proc/loadavg: 4.48 4.05 3.83 5/264 24636
/proc/meminfo: memFree=129925716/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=32720 memory=9344 CPUtime=357.41 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 1453 0 0 0 35741 0 0 0 20 0 1 0 32668236 33505280 2336 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 8180 2336 1024 1200 0 6660 0
Current children cumulated CPU time: 357.41 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9344 KiB

[startup+371.2 s]
/proc/loadavg: 4.37 4.05 3.83 5/264 24639
/proc/meminfo: memFree=129671700/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=46204 memory=35892 CPUtime=370.17 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5240 0 0 0 37013 4 0 0 20 0 1 0 32668236 47312896 8973 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 11551 8973 1248 1200 0 10031 0
Current children cumulated CPU time: 370.17 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 35892 KiB

[startup+374.4 s]
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=47156 memory=40936 CPUtime=373.36 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5474 0 0 0 37332 4 0 0 20 0 1 0 32668236 48287744 10234 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 11789 10234 1248 1200 0 10269 0
Current children cumulated CPU time: 373.36 s
Current children cumulated vsize: 47156 KiB
Current children cumulated memory: 40936 KiB

[startup+376 s]*
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=47812 memory=41320 CPUtime=374.96 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5596 0 0 0 37488 8 0 0 20 0 1 0 32668236 48959488 10330 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 11953 10330 1248 1200 0 10433 0
Current children cumulated CPU time: 374.96 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 41320 KiB

[startup+377.6 s]
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=48016 memory=41576 CPUtime=376.55 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5660 0 0 0 37647 8 0 0 20 0 1 0 32668236 49168384 10394 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 12004 10394 1248 1200 0 10484 0
Current children cumulated CPU time: 376.55 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 41576 KiB

[startup+378 s]*
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=48148 memory=41832 CPUtime=376.96 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5704 0 0 0 37688 8 0 0 20 0 1 0 32668236 49303552 10458 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 12037 10458 1248 1200 0 10517 0
Current children cumulated CPU time: 376.96 s
Current children cumulated vsize: 48148 KiB
Current children cumulated memory: 41832 KiB

[startup+378.2 s]
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=48516 memory=42088 CPUtime=377.15 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5774 0 0 0 37707 8 0 0 20 0 1 0 32668236 49680384 10522 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 12129 10522 1248 1200 0 10609 0
Current children cumulated CPU time: 377.15 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 42088 KiB

[startup+378.3 s]
/proc/loadavg: 4.34 4.04 3.83 5/264 24639
/proc/meminfo: memFree=129665904/131250000 swapFree=33010684/33010684
[pid=24598] ppid=24592 vsize=48516 memory=42088 CPUtime=377.25 cores=5,7
/proc/24598/stat : 24598 (Exact) R 24592 24598 24386 0 -1 4194304 5774 0 0 0 37717 8 0 0 20 0 1 0 32668236 49680384 10522 18446744073709551615 4198400 9112445 140731165241776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21360640 140731165243707 140731165243885 140731165243885 140731165249487 0
/proc/24598/statm: 12129 10522 1248 1200 0 10609 0
Current children cumulated CPU time: 377.25 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 42088 KiB

Child status: 30

Real time (s): 378.365
CPU time (s): 377.324
CPU user time (s): 377.239
CPU system time (s): 0.084791
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 48516
Max. memory (cumulated for all children) (KiB): 42088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 377.239
system time used= 0.084791
maximum resident set size= 42216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5776
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= 3
involuntary context switches= 331


# summary of solver processes directly reported to runsolver:
#   pid: 24598
#   total CPU time (s): 377.324
#   total CPU user time (s): 377.239
#   total CPU system time (s): 0.084791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.734102 second user time and 1.66914 second system time

The end