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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515005-1751229242/watcher-4515005-1751229242 -o /tmp/evaluation-result-4515005-1751229242/solver-4515005-1751229242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30844 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2030540715 --ls=360 --inp-dombreaklim=0 HOME/instance-4515005-1751229242.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=31102, runsolver pid=31099

[startup+0.100071 s]*
/proc/loadavg: 4.00 3.27 2.82 5/252 31103
/proc/meminfo: memFree=129583040/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=0.11 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 10 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+0.213225 s]*
/proc/loadavg: 4.00 3.27 2.82 5/252 31103
/proc/meminfo: memFree=129582788/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=0.22 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 21 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+0.31371 s]*
/proc/loadavg: 4.00 3.27 2.82 5/252 31103
/proc/meminfo: memFree=129582788/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=0.32 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 31 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+0.700331 s]
/proc/loadavg: 4.00 3.27 2.82 5/252 31103
/proc/meminfo: memFree=129582284/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=0.69 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 68 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+1.50029 s]
/proc/loadavg: 4.00 3.27 2.82 5/252 31103
/proc/meminfo: memFree=129582284/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=1.49 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 148 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+3.1128 s]
/proc/loadavg: 4.00 3.28 2.83 5/252 31103
/proc/meminfo: memFree=129597524/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=3.09 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 308 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+6.30027 s]
/proc/loadavg: 4.00 3.28 2.83 5/252 31103
/proc/meminfo: memFree=129603772/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=6.27 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 626 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 3.34 2.85 5/252 31103
/proc/meminfo: memFree=129603796/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=12.66 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 1265 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 3.39 2.87 5/252 31104
/proc/meminfo: memFree=129603820/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=25.42 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 2541 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+51.1137 s]
/proc/loadavg: 4.53 3.52 2.93 5/252 31104
/proc/meminfo: memFree=129599480/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=50.97 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 5096 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+102.3 s]
/proc/loadavg: 4.88 3.79 3.06 5/253 31107
/proc/meminfo: memFree=129576272/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=10052 CPUtime=102.03 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1720 0 0 0 10202 1 0 0 20 0 1 0 38603564 34652160 2513 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2513 1024 1200 0 6940 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 10052 KiB

[startup+162.3 s]
/proc/loadavg: 4.56 3.92 3.15 5/252 31109
/proc/meminfo: memFree=129578356/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=161.87 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1722 0 0 0 16186 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 3.95 3.21 5/251 31111
/proc/meminfo: memFree=129577464/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=221.72 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1725 0 0 0 22171 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 3.99 3.28 5/251 31113
/proc/meminfo: memFree=129577520/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=281.56 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1727 0 0 0 28155 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+342.3 s]
/proc/loadavg: 4.34 4.06 3.34 5/251 31120
/proc/meminfo: memFree=129584400/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=341.41 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 34140 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

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

# cumulated CPU time of all completed processes:  user=359.107 s, system=0.02279 s

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

[startup+345.6 s]
/proc/loadavg: 4.34 4.06 3.34 5/251 31120
/proc/meminfo: memFree=129584400/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=344.7 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 34469 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 344.7 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+352 s]*
/proc/loadavg: 4.36 4.07 3.36 4/247 31159
/proc/meminfo: memFree=129516136/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=351.09 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35108 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 351.09 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+355.2 s]
/proc/loadavg: 4.36 4.07 3.36 5/249 31201
/proc/meminfo: memFree=129149592/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=354.27 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35426 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 354.27 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+358.4 s]
/proc/loadavg: 4.33 4.07 3.36 5/252 31211
/proc/meminfo: memFree=126831944/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=357.46 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35745 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 357.46 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+359.2 s]
/proc/loadavg: 4.33 4.07 3.36 5/252 31211
/proc/meminfo: memFree=126824592/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=358.26 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35825 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 358.26 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+359.6 s]
/proc/loadavg: 4.33 4.07 3.36 5/252 31211
/proc/meminfo: memFree=126824592/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=358.65 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35864 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 358.65 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

[startup+360 s]*
/proc/loadavg: 4.33 4.07 3.36 5/252 31211
/proc/meminfo: memFree=126818404/131382116 swapFree=33010684/33010684
[pid=31102] ppid=31099 vsize=33840 memory=11588 CPUtime=359.07 cores=1,3
/proc/31102/stat : 31102 (Exact) R 31099 31102 30832 0 -1 4194304 1728 0 0 0 35906 1 0 0 20 0 1 0 38603564 34652160 2897 18446744073709551615 4198400 9112445 140731830894768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38969344 140731830896934 140731830897133 140731830897133 140731830902735 0
/proc/31102/statm: 8460 2897 1024 1200 0 6940 0
Current children cumulated CPU time: 359.07 s
Current children cumulated vsize: 33840 KiB
Current children cumulated memory: 11588 KiB

Child status: 30

Real time (s): 360.065
CPU time (s): 359.13
CPU user time (s): 359.107
CPU system time (s): 0.02279
CPU usage (%): 99.7402
Max. virtual memory (cumulated for all children) (KiB): 33840
Max. memory (cumulated for all children) (KiB): 11588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.107
system time used= 0.02279
maximum resident set size= 16984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2954
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= 1829


# summary of solver processes directly reported to runsolver:
#   pid: 31102
#   total CPU time (s): 359.13
#   total CPU user time (s): 359.107
#   total CPU system time (s): 0.02279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61885 second user time and 3.52569 second system time

The end