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: 63794 MiB (62919 MiB free)
  memory of node 1: 64507 MiB (63143 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482713-1751171583/watcher-4482713-1751171583 -o /tmp/evaluation-result-4482713-1751171583/solver-4482713-1751171583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751167606-21057 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1718971437 --ls=360 HOME/instance-4482713-1751171583.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
Current StackSize limit: 8192 KiB

solver pid=21862, runsolver pid=21859

[startup+0.100069 s]*
/proc/loadavg: 4.10 4.19 4.16 5/251 21863
/proc/meminfo: memFree=129088404/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=35200 memory=12144 CPUtime=0.1 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 2554 0 0 0 10 0 0 0 20 0 1 0 32838046 36044800 3036 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 8800 3036 1024 1200 0 7280 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35200 KiB
Current children cumulated memory: 12144 KiB

[startup+0.2131 s]*
/proc/loadavg: 4.10 4.19 4.16 5/251 21863
/proc/meminfo: memFree=129084624/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=41368 memory=20408 CPUtime=0.21 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 4047 0 0 0 20 1 0 0 20 0 1 0 32838046 42360832 5102 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 10342 5102 1024 1200 0 8822 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41368 KiB
Current children cumulated memory: 20408 KiB

[startup+0.313001 s]*
/proc/loadavg: 4.09 4.19 4.16 5/251 21863
/proc/meminfo: memFree=129076812/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=50364 memory=28212 CPUtime=0.31 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 5872 0 0 0 29 2 0 0 20 0 1 0 32838046 51572736 7053 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 12591 7053 1024 1200 0 11071 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50364 KiB
Current children cumulated memory: 28212 KiB

[startup+0.700338 s]
/proc/loadavg: 4.09 4.19 4.16 5/251 21863
/proc/meminfo: memFree=129076812/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=0.69 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6354 0 0 0 67 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+1.50033 s]
/proc/loadavg: 4.09 4.19 4.16 5/251 21863
/proc/meminfo: memFree=129076812/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=1.48 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6354 0 0 0 146 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+3.11276 s]
/proc/loadavg: 4.09 4.19 4.16 5/251 21908
/proc/meminfo: memFree=129359396/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=3.09 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6356 0 0 0 307 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+6.30033 s]
/proc/loadavg: 4.08 4.18 4.16 5/251 21908
/proc/meminfo: memFree=129007604/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=6.27 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6358 0 0 0 625 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.18 4.16 5/251 21908
/proc/meminfo: memFree=129007856/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=12.65 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6360 0 0 0 1263 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.19 4.16 5/251 21908
/proc/meminfo: memFree=129018768/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=25.4 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6362 0 0 0 2538 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.17 4.16 5/251 21909
/proc/meminfo: memFree=129012248/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=50.93 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6364 0 0 0 5091 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/251 21910
/proc/meminfo: memFree=129014012/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=101.95 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6368 0 0 0 10193 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/251 21913
/proc/meminfo: memFree=128990680/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=161.76 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6370 0 0 0 16174 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/251 21916
/proc/meminfo: memFree=128990112/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=221.56 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6372 0 0 0 22154 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.15 6/251 21918
/proc/meminfo: memFree=128984064/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=281.37 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6374 0 0 0 28135 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/251 21920
/proc/meminfo: memFree=128983056/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=53432 memory=30132 CPUtime=341.18 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 6376 0 0 0 34116 2 0 0 20 0 1 0 32838046 54714368 7533 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 13358 7533 1024 1200 0 11838 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30132 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.11 4.13 5/252 21967
/proc/meminfo: memFree=127841300/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=92448 memory=73892 CPUtime=401 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15459 0 0 0 40095 5 0 0 20 0 1 0 32838046 94666752 18473 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23112 18473 1248 1200 0 21592 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 73892 KiB

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

# cumulated CPU time of all completed processes:  user=418.287 s, system=0.063705 s

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

[startup+409.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 21967
/proc/meminfo: memFree=127841048/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=92976 memory=74404 CPUtime=408.28 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15591 0 0 0 40823 5 0 0 20 0 1 0 32838046 95207424 18601 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23244 18601 1248 1200 0 21724 0
Current children cumulated CPU time: 408.28 s
Current children cumulated vsize: 92976 KiB
Current children cumulated memory: 74404 KiB

[startup+416 s]*
/proc/loadavg: 4.10 4.12 4.13 5/252 21967
/proc/meminfo: memFree=127848972/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=93124 memory=74660 CPUtime=414.68 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15646 0 0 0 41463 5 0 0 20 0 1 0 32838046 95358976 18665 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23281 18665 1248 1200 0 21761 0
Current children cumulated CPU time: 414.68 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 74660 KiB

[startup+417.6 s]
/proc/loadavg: 4.10 4.12 4.13 5/252 21967
/proc/meminfo: memFree=127849224/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=93124 memory=74660 CPUtime=416.26 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15651 0 0 0 41621 5 0 0 20 0 1 0 32838046 95358976 18665 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23281 18665 1248 1200 0 21761 0
Current children cumulated CPU time: 416.26 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 74660 KiB

[startup+418.4 s]
/proc/loadavg: 4.10 4.12 4.13 5/252 21967
/proc/meminfo: memFree=127849224/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=93124 memory=74660 CPUtime=417.06 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15654 0 0 0 41701 5 0 0 20 0 1 0 32838046 95358976 18665 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23281 18665 1248 1200 0 21761 0
Current children cumulated CPU time: 417.06 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 74660 KiB

[startup+419.2 s]
/proc/loadavg: 4.10 4.12 4.13 5/251 21969
/proc/meminfo: memFree=127809408/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=94480 memory=75940 CPUtime=417.86 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15970 0 0 0 41780 6 0 0 20 0 1 0 32838046 96747520 18985 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23620 18985 1248 1200 0 22100 0
Current children cumulated CPU time: 417.86 s
Current children cumulated vsize: 94480 KiB
Current children cumulated memory: 75940 KiB

[startup+419.6 s]
/proc/loadavg: 4.10 4.12 4.13 5/251 21969
/proc/meminfo: memFree=127809408/131382116 swapFree=33010684/33010684
[pid=21862] ppid=21859 vsize=94480 memory=75940 CPUtime=418.26 cores=4,6
/proc/21862/stat : 21862 (Exact) R 21859 21862 21046 0 -1 4194304 15970 0 0 0 41820 6 0 0 20 0 1 0 32838046 96747520 18985 18446744073709551615 4198400 9112445 140721407203568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25354240 140721407207738 140721407207917 140721407207917 140721407213519 0
/proc/21862/statm: 23620 18985 1248 1200 0 22100 0
Current children cumulated CPU time: 418.26 s
Current children cumulated vsize: 94480 KiB
Current children cumulated memory: 75940 KiB

Child status: 30

Real time (s): 419.683
CPU time (s): 418.351
CPU user time (s): 418.287
CPU system time (s): 0.063705
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 94480
Max. memory (cumulated for all children) (KiB): 75940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 418.287
system time used= 0.063705
maximum resident set size= 76068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15972
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= 170


# summary of solver processes directly reported to runsolver:
#   pid: 21862
#   total CPU time (s): 418.351
#   total CPU user time (s): 418.287
#   total CPU system time (s): 0.063705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63209 second user time and 4.55876 second system time

The end