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 (62990 MiB free)
memory of node 1: 64465 MiB (63983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510923-1751205166/watcher-4510923-1751205166 -o /tmp/evaluation-result-4510923-1751205166/solver-4510923-1751205166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751205166-27850 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549233420 --ls=360 --inp-dombreaklim=0 HOME/instance-4510923-1751205166.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
solver pid=27904, runsolver pid=27893
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.96 3.56 3.91 6/266 27909
/proc/meminfo: memFree=130009312/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=0.1 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 10 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+0.205037 s]*
/proc/loadavg: 1.96 3.56 3.91 6/266 27909
/proc/meminfo: memFree=130008304/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=0.2 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 20 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+0.30484 s]*
/proc/loadavg: 1.96 3.56 3.91 6/266 27909
/proc/meminfo: memFree=130008304/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=0.3 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 30 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+0.700094 s]
/proc/loadavg: 1.96 3.56 3.91 6/266 27909
/proc/meminfo: memFree=130008304/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=0.69 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 69 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+1.50008 s]
/proc/loadavg: 1.96 3.56 3.91 6/266 27909
/proc/meminfo: memFree=130008336/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=1.49 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 149 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+3.1047 s]
/proc/loadavg: 2.12 3.57 3.91 6/266 27909
/proc/meminfo: memFree=130008692/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=3.09 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 309 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+6.30009 s]
/proc/loadavg: 2.12 3.57 3.91 6/266 27909
/proc/meminfo: memFree=130009368/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=6.27 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 627 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+12.7001 s]
/proc/loadavg: 2.41 3.58 3.91 6/265 27909
/proc/meminfo: memFree=130009160/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=12.66 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 1266 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+25.5001 s]
/proc/loadavg: 2.66 3.60 3.91 6/266 27911
/proc/meminfo: memFree=130009200/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=25.42 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 2542 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+51.1047 s]
/proc/loadavg: 3.18 3.65 3.92 6/266 27911
/proc/meminfo: memFree=130009092/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=50.95 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 5095 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 3.72 3.93 6/267 27914
/proc/meminfo: memFree=130004168/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=11892 CPUtime=102 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2300 0 0 0 10200 0 0 0 20 0 1 0 36195097 36413440 2973 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 2973 1024 1200 0 7370 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 11892 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.79 3.94 6/266 27916
/proc/meminfo: memFree=129992756/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=12532 CPUtime=161.86 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2304 0 0 0 16186 0 0 0 20 0 1 0 36195097 36413440 3133 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 3133 1024 1200 0 7370 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 12532 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.86 3.96 6/266 27918
/proc/meminfo: memFree=130008304/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=12532 CPUtime=221.73 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2306 0 0 0 22173 0 0 0 20 0 1 0 36195097 36413440 3133 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 3133 1024 1200 0 7370 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 12532 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.90 3.97 6/266 27920
/proc/meminfo: memFree=130008464/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=12532 CPUtime=281.6 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2307 0 0 0 28160 0 0 0 20 0 1 0 36195097 36413440 3133 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 3133 1024 1200 0 7370 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 12532 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.96 3.98 6/265 27923
/proc/meminfo: memFree=130008404/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=35560 memory=12532 CPUtime=341.47 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 2308 0 0 0 34147 0 0 0 20 0 1 0 36195097 36413440 3133 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 8890 3133 1024 1200 0 7370 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 12532 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.97 3.99 6/264 28017
/proc/meminfo: memFree=130003944/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=49380 memory=33276 CPUtime=401.31 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 6050 0 0 0 40117 14 0 0 20 0 1 0 36195097 50565120 8319 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 12345 8319 1280 1200 0 10825 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 49380 KiB
Current children cumulated memory: 33276 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.99 4.00 6/264 28022
/proc/meminfo: memFree=129968428/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=52772 memory=36604 CPUtime=461.15 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 6893 0 0 0 46084 31 0 0 20 0 1 0 36195097 54038528 9151 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 13193 9151 1280 1200 0 11673 0
Current children cumulated CPU time: 461.15 s
Current children cumulated vsize: 52772 KiB
Current children cumulated memory: 36604 KiB
[startup+522.3 s]
/proc/loadavg: 4.12 4.02 4.01 6/264 28035
/proc/meminfo: memFree=129961800/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=55256 memory=39548 CPUtime=521 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 7542 0 0 0 52051 49 0 0 20 0 1 0 36195097 56582144 9887 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 13814 9887 1280 1200 0 12294 0
Current children cumulated CPU time: 521 s
Current children cumulated vsize: 55256 KiB
Current children cumulated memory: 39548 KiB
[startup+582.3 s]
/proc/loadavg: 4.10 4.03 4.01 6/264 28039
/proc/meminfo: memFree=129965120/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=56720 memory=40828 CPUtime=580.85 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 7890 0 0 0 58015 70 0 0 20 0 1 0 36195097 58081280 10207 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 14180 10207 1280 1200 0 12660 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 56720 KiB
Current children cumulated memory: 40828 KiB
[startup+642.3 s]
/proc/loadavg: 4.15 4.05 4.01 6/263 28041
/proc/meminfo: memFree=129950416/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=59464 memory=43644 CPUtime=640.7 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 8576 0 0 0 63977 93 0 0 20 0 1 0 36195097 60891136 10911 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 14866 10911 1280 1200 0 13346 0
Current children cumulated CPU time: 640.7 s
Current children cumulated vsize: 59464 KiB
Current children cumulated memory: 43644 KiB
[startup+702.3 s]
/proc/loadavg: 4.19 4.07 4.02 6/263 28043
/proc/meminfo: memFree=129953396/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=61624 memory=45820 CPUtime=700.56 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 9122 0 0 0 69943 113 0 0 20 0 1 0 36195097 63102976 11455 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 15406 11455 1280 1200 0 13886 0
Current children cumulated CPU time: 700.56 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 45820 KiB
[startup+705.046 s]
# the end of solver process 27904 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=702.164 s, system=1.13898 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.4 s]
/proc/loadavg: 4.19 4.07 4.02 6/263 28043
/proc/meminfo: memFree=129953396/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=61624 memory=45820 CPUtime=700.66 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 9122 0 0 0 69953 113 0 0 20 0 1 0 36195097 63102976 11455 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 15406 11455 1280 1200 0 13886 0
Current children cumulated CPU time: 700.66 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 45820 KiB
[startup+704 s]*
/proc/loadavg: 4.19 4.07 4.02 6/263 28043
/proc/meminfo: memFree=129953420/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=61624 memory=45820 CPUtime=702.26 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 9122 0 0 0 70113 113 0 0 20 0 1 0 36195097 63102976 11455 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 15406 11455 1280 1200 0 13886 0
Current children cumulated CPU time: 702.26 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 45820 KiB
[startup+704.8 s]
/proc/loadavg: 4.19 4.07 4.02 6/263 28043
/proc/meminfo: memFree=129953420/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=61624 memory=45820 CPUtime=703.05 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 9122 0 0 0 70192 113 0 0 20 0 1 0 36195097 63102976 11455 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 15406 11455 1280 1200 0 13886 0
Current children cumulated CPU time: 703.05 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 45820 KiB
[startup+705 s]*
/proc/loadavg: 4.19 4.07 4.02 6/263 28043
/proc/meminfo: memFree=129953420/131249996 swapFree=33010684/33010684
[pid=27904] ppid=27893 vsize=61624 memory=45820 CPUtime=703.25 cores=4,6
/proc/27904/stat : 27904 (Exact) R 27893 27904 27839 0 -1 4194304 9130 0 0 0 70212 113 0 0 20 0 1 0 36195097 63102976 11455 18446744073709551615 4198400 9112445 140726811177664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31899648 140726811179303 140726811179501 140726811179501 140726811185103 0
/proc/27904/statm: 15406 11455 1280 1200 0 13886 0
Current children cumulated CPU time: 703.25 s
Current children cumulated vsize: 61624 KiB
Current children cumulated memory: 45820 KiB
Child status: 20
Real time (s): 705.046
CPU time (s): 703.303
CPU user time (s): 702.164
CPU system time (s): 1.13898
CPU usage (%): 99.7528
Max. virtual memory (cumulated for all children) (KiB): 61624
Max. memory (cumulated for all children) (KiB): 45820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 702.164
system time used= 1.13898
maximum resident set size= 45820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9132
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= 15
involuntary context switches= 741
# summary of solver processes directly reported to runsolver:
# pid: 27904
# total CPU time (s): 703.303
# total CPU user time (s): 702.164
# total CPU system time (s): 1.13898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17471 second user time and 2.39755 second system time
The end
Begin job on nodeC029 at 2025-06-29 15:52:47
IDJOB=4510923
IDBENCH=160406
IDSOLVER=3319
FILE ID=nodeC029/4510923-1751205166
RUNJOBID= nodeC029-1751205166-27850
SLURM_JOB_ID= 9587623
Free space on /tmp= 433060 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510923-1751205166/watcher-4510923-1751205166 -o /tmp/evaluation-result-4510923-1751205166/solver-4510923-1751205166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751205166-27850 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549233420 --ls=360 --inp-dombreaklim=0 HOME/instance-4510923-1751205166.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=549233420
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.969
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.819
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.812
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.718
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.720
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130021488 kB
MemAvailable: 129761028 kB
Buffers: 3280 kB
Cached: 549620 kB
SwapCached: 0 kB
Active: 322892 kB
Inactive: 292648 kB
Active(anon): 80768 kB
Inactive(anon): 0 kB
Active(file): 242124 kB
Inactive(file): 292648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29576 kB
Writeback: 0 kB
AnonPages: 65908 kB
Mapped: 102616 kB
Shmem: 18060 kB
KReclaimable: 88016 kB
Slab: 171736 kB
SReclaimable: 88016 kB
SUnreclaim: 83720 kB
KernelStack: 4112 kB
PageTables: 2872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC029 at 2025-06-29 16:04:32