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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524583-1751613943/watcher-4524583-1751613943 -o /tmp/evaluation-result-4524583-1751613943/solver-4524583-1751613943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751612493-84306 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1252428315 --ls=360 --inp-dombreaklim=0 HOME/instance-4524583-1751613943.wbo 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=85008, runsolver pid=85004

[startup+0.100056 s]*
/proc/loadavg: 4.14 4.12 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=0.09 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 9 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+0.205254 s]*
/proc/loadavg: 4.14 4.12 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=0.19 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 19 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+0.30467 s]*
/proc/loadavg: 4.14 4.12 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=0.29 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 29 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+0.700102 s]
/proc/loadavg: 4.14 4.12 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=0.68 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 68 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+1.50009 s]
/proc/loadavg: 4.14 4.12 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=1.48 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 148 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+3.10454 s]
/proc/loadavg: 4.13 4.11 3.83 5/263 85013
/proc/meminfo: memFree=127946276/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=3.08 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 308 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+6.30009 s]
/proc/loadavg: 4.13 4.11 3.83 5/263 85013
/proc/meminfo: memFree=127946484/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=6.27 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 627 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.13 3.84 5/263 85014
/proc/meminfo: memFree=127946492/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=12.65 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 1265 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+25.5001 s]
/proc/loadavg: 4.31 4.16 3.85 5/262 85014
/proc/meminfo: memFree=127946452/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=25.42 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 2542 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+51.1045 s]
/proc/loadavg: 4.33 4.17 3.87 5/263 85015
/proc/meminfo: memFree=127946508/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=50.97 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 5097 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.16 3.88 5/263 85062
/proc/meminfo: memFree=127954668/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=7808 CPUtime=102.05 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1067 0 0 0 10205 0 0 0 20 0 1 0 77071773 32235520 1952 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 1952 1024 1200 0 6350 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 7808 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 3.90 5/264 85067
/proc/meminfo: memFree=127954112/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=161.91 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1071 0 0 0 16191 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.13 3.91 5/264 85073
/proc/meminfo: memFree=127947716/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=221.77 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1074 0 0 0 22177 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.12 3.92 5/264 85119
/proc/meminfo: memFree=127953708/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=281.64 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1075 0 0 0 28164 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 3.94 5/264 85122
/proc/meminfo: memFree=127955420/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=341.52 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 34152 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

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

# cumulated CPU time of all completed processes:  user=359.207 s, system=0.004986 s

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

[startup+345.6 s]
/proc/loadavg: 4.13 4.12 3.94 5/264 85122
/proc/meminfo: memFree=127955672/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=344.81 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 34481 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 344.81 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+352 s]*
/proc/loadavg: 4.11 4.12 3.94 5/263 85122
/proc/meminfo: memFree=127955688/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=351.2 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35120 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 351.2 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+355.2 s]
/proc/loadavg: 4.11 4.12 3.94 5/264 85123
/proc/meminfo: memFree=127955940/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=354.39 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35439 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 354.39 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+358.4 s]
/proc/loadavg: 4.10 4.12 3.94 5/264 85124
/proc/meminfo: memFree=127955728/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=357.58 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35758 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 357.58 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+359.2 s]
/proc/loadavg: 4.10 4.12 3.94 5/264 85124
/proc/meminfo: memFree=127955728/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=358.38 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35838 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 358.38 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+359.6 s]
/proc/loadavg: 4.10 4.12 3.94 5/264 85124
/proc/meminfo: memFree=127955728/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=358.78 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35878 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 358.78 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

[startup+360 s]*
/proc/loadavg: 4.10 4.12 3.94 5/264 85124
/proc/meminfo: memFree=127956060/131250000 swapFree=33007332/33010684
[pid=85008] ppid=85004 vsize=31480 memory=9728 CPUtime=359.18 cores=5,7
/proc/85008/stat : 85008 (Exact) R 85004 85008 84293 0 -1 4194304 1076 0 0 0 35918 0 0 0 20 0 1 0 77071773 32235520 2432 18446744073709551615 4198400 9112445 140725755131824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 34709504 140725755140388 140725755140587 140725755140587 140725755146191 0
/proc/85008/statm: 7870 2432 1024 1200 0 6350 0
Current children cumulated CPU time: 359.18 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 9728 KiB

Child status: 30

Real time (s): 360.026
CPU time (s): 359.212
CPU user time (s): 359.207
CPU system time (s): 0.004986
CPU usage (%): 99.774
Max. virtual memory (cumulated for all children) (KiB): 31480
Max. memory (cumulated for all children) (KiB): 9728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.207
system time used= 0.004986
maximum resident set size= 12516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1609
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= 353


# summary of solver processes directly reported to runsolver:
#   pid: 85008
#   total CPU time (s): 359.212
#   total CPU user time (s): 359.207
#   total CPU system time (s): 0.004986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.608923 second user time and 1.10747 second system time

The end