0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4542590-1753213547.opb>
0.68/0.74 c original problem has 227556 variables (227556 bin, 0 int, 0 impl, 0 cont) and 20632 constraints
0.68/0.74 c problem read in 0.73
0.68/0.75 c No objective function, only one solution is needed.
1.38/1.40 c presolving:
1.68/1.77 c (1.8s) running MILP presolver
1.98/2.04 c (2.0s) MILP presolver found nothing
2.18/2.24 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11911 upgd conss, 0 impls, 8694 clqs
2.38/2.49 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20632 upgd conss, 0 impls, 8694 clqs
4.66/4.76 c (4.7s) probing: 51/227556 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.66/4.76 c (4.7s) probing aborted: 50/50 successive totally useless probings
4.86/4.92 c (4.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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 (12210 MiB free)
memory of node 1: 64465 MiB (47418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542590-1753213547/watcher-4542590-1753213547 -o /tmp/evaluation-result-4542590-1753213547/solver-4542590-1753213547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158214 --watchdog 3760 pbscip -f HOME/instance-4542590-1753213547.opb -t 3600 -j 2 -m 31000
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
solver pid=159022, runsolver pid=159019
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 4.12 4.60 5.73 5/251 159023
/proc/meminfo: memFree=61052380/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=75916 memory=47616 CPUtime=0.09 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 8989 0 0 0 7 2 0 0 20 0 1 0 237034078 77737984 11904 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 18979 11904 3232 3530 0 10430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75916 KiB
Current children cumulated memory: 47616 KiB
[startup+0.21322 s]*
/proc/loadavg: 4.12 4.60 5.73 5/251 159023
/proc/meminfo: memFree=61052380/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=111144 memory=82688 CPUtime=0.21 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 17744 0 0 0 16 5 0 0 20 0 1 0 237034078 113811456 20672 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 27786 20672 3232 3530 0 19237 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 82688 KiB
[startup+0.313143 s]*
/proc/loadavg: 4.12 4.60 5.73 5/251 159023
/proc/meminfo: memFree=61044316/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=144052 memory=114816 CPUtime=0.31 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 25767 0 0 0 23 8 0 0 20 0 1 0 237034078 147509248 28704 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 36013 28704 3232 3530 0 27464 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 144052 KiB
Current children cumulated memory: 114816 KiB
[startup+0.700295 s]
/proc/loadavg: 4.12 4.60 5.73 6/251 159023
/proc/meminfo: memFree=61035784/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=263952 memory=235392 CPUtime=0.68 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 55914 0 0 0 52 16 0 0 20 0 1 0 237034078 270286848 58848 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 65988 58848 3232 3530 0 57439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 263952 KiB
Current children cumulated memory: 235392 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 4.60 5.73 6/251 159023
/proc/meminfo: memFree=60866692/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=648564 memory=610724 CPUtime=1.48 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 150097 0 0 0 111 37 0 0 20 0 1 0 237034078 664129536 152681 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 162141 152681 3584 3530 0 153592 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 648564 KiB
Current children cumulated memory: 610724 KiB
[startup+3.11211 s]
/proc/loadavg: 4.12 4.60 5.73 6/251 159023
/proc/meminfo: memFree=60488840/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=767608 memory=722328 CPUtime=3.09 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 183211 0 0 0 264 45 0 0 20 0 1 0 237034078 786030592 180582 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 191902 180582 3744 3530 0 183353 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 767608 KiB
Current children cumulated memory: 722328 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.59 5.72 6/250 159023
/proc/meminfo: memFree=60114296/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=1222632 memory=1006460 CPUtime=6.26 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 236773 0 0 0 569 57 0 0 20 0 1 0 237034078 1251975168 251615 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 305658 251615 3776 3530 0 297109 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1222632 KiB
Current children cumulated memory: 1006460 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.58 5.71 6/250 159023
/proc/meminfo: memFree=59147244/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=1854712 memory=1654032 CPUtime=12.64 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 395625 0 0 0 1181 83 0 0 20 0 1 0 237034078 1899225088 413508 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 463678 413508 3776 3530 0 455129 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1854712 KiB
Current children cumulated memory: 1654032 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.55 5.68 6/250 159023
/proc/meminfo: memFree=58103640/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174732 memory=1998740 CPUtime=25.41 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475642 0 0 0 2446 95 0 0 20 0 1 0 237034078 2226925568 499685 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543683 499685 3776 3530 0 535134 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2174732 KiB
Current children cumulated memory: 1998740 KiB
[startup+51.1121 s]
/proc/loadavg: 4.12 4.52 5.64 6/250 159024
/proc/meminfo: memFree=56707984/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174736 memory=2021656 CPUtime=50.97 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475752 0 0 0 5001 96 0 0 20 0 1 0 237034078 2226929664 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543684 505414 3776 3530 0 535135 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2174736 KiB
Current children cumulated memory: 2021656 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.45 5.56 6/249 159025
/proc/meminfo: memFree=54029160/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174736 memory=2021656 CPUtime=102.03 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475757 0 0 0 10107 96 0 0 20 0 1 0 237034078 2226929664 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543684 505414 3776 3530 0 535135 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2174736 KiB
Current children cumulated memory: 2021656 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.43 5.48 6/249 159027
/proc/meminfo: memFree=50877112/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174740 memory=2021656 CPUtime=161.89 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475763 0 0 0 16092 97 0 0 20 0 1 0 237034078 2226933760 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543685 505414 3776 3530 0 535136 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2174740 KiB
Current children cumulated memory: 2021656 KiB
[startup+222.3 s]
/proc/loadavg: 4.63 4.52 5.44 6/249 159029
/proc/meminfo: memFree=47863400/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174740 memory=2021656 CPUtime=221.74 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475763 0 0 0 22077 97 0 0 20 0 1 0 237034078 2226933760 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543685 505414 3776 3530 0 535136 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2174740 KiB
Current children cumulated memory: 2021656 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.44 5.35 6/249 159031
/proc/meminfo: memFree=44772464/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174744 memory=2021656 CPUtime=281.59 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475769 0 0 0 28062 97 0 0 20 0 1 0 237034078 2226937856 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543686 505414 3776 3530 0 535137 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 2174744 KiB
Current children cumulated memory: 2021656 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.37 5.27 6/250 159079
/proc/meminfo: memFree=73646720/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174744 memory=2021656 CPUtime=341.45 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475769 0 0 0 34048 97 0 0 20 0 1 0 237034078 2226937856 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543686 505414 3776 3530 0 535137 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 2174744 KiB
Current children cumulated memory: 2021656 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.32 5.19 6/251 159088
/proc/meminfo: memFree=73657300/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174744 memory=2021656 CPUtime=401.31 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475776 0 0 0 40033 98 0 0 20 0 1 0 237034078 2226937856 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543686 505414 3776 3530 0 535137 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2174744 KiB
Current children cumulated memory: 2021656 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.27 5.12 6/251 159090
/proc/meminfo: memFree=73650616/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174744 memory=2021656 CPUtime=461.17 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475776 0 0 0 46019 98 0 0 20 0 1 0 237034078 2226937856 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543686 505414 3776 3530 0 535137 0
Current children cumulated CPU time: 461.17 s
################
# More data... #
################
Current children cumulated memory: 2021656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.16 6/250 159262
/proc/meminfo: memFree=70096464/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2021656 CPUtime=2914.09 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475824 0 0 0 291304 105 0 0 20 0 1 0 237034078 2226962432 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 505414 3776 3530 0 535143 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2021656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.16 6/250 159264
/proc/meminfo: memFree=70103444/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2021656 CPUtime=2973.91 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475824 0 0 0 297286 105 0 0 20 0 1 0 237034078 2226962432 505414 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 505414 3776 3530 0 535143 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2021656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.16 5/250 159355
/proc/meminfo: memFree=97391332/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2022424 CPUtime=3033.71 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475831 0 0 0 303261 110 0 0 20 0 1 0 237034078 2226962432 505606 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 505606 3776 3530 0 535143 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2022424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.16 5/250 159357
/proc/meminfo: memFree=97350660/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2022936 CPUtime=3093.52 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475831 0 0 0 309242 110 0 0 20 0 1 0 237034078 2226962432 505734 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 505734 3776 3530 0 535143 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2022936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/249 159359
/proc/meminfo: memFree=97355524/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2022936 CPUtime=3153.34 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475831 0 0 0 315224 110 0 0 20 0 1 0 237034078 2226962432 505734 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 505734 3776 3530 0 535143 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2022936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/249 159361
/proc/meminfo: memFree=97349936/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2029208 CPUtime=3213.15 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475831 0 0 0 321205 110 0 0 20 0 1 0 237034078 2226962432 507302 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 507302 3776 3530 0 535143 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2029208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/249 159363
/proc/meminfo: memFree=97350588/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2032280 CPUtime=3272.97 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475831 0 0 0 327187 110 0 0 20 0 1 0 237034078 2226962432 508070 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 508070 3776 3530 0 535143 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2032280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.14 5/250 159366
/proc/meminfo: memFree=97337768/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174768 memory=2037144 CPUtime=3332.79 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475836 0 0 0 333169 110 0 0 20 0 1 0 237034078 2226962432 509286 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543692 509286 3776 3530 0 535143 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 2174768 KiB
Current children cumulated memory: 2037144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/250 159368
/proc/meminfo: memFree=97328052/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2048536 CPUtime=3392.65 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 339154 111 0 0 20 0 1 0 237034078 2226966528 512134 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512134 3776 3530 0 535144 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2048536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/250 159421
/proc/meminfo: memFree=97504208/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2050584 CPUtime=3452.49 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 345138 111 0 0 20 0 1 0 237034078 2226966528 512646 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512646 3776 3530 0 535144 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2050584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/250 159423
/proc/meminfo: memFree=97400200/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2050584 CPUtime=3512.33 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 351122 111 0 0 20 0 1 0 237034078 2226966528 512646 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512646 3776 3530 0 535144 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2050584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/250 159425
/proc/meminfo: memFree=97398368/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2050584 CPUtime=3572.16 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 357105 111 0 0 20 0 1 0 237034078 2226966528 512646 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512646 3776 3530 0 535144 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2050584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/249 159425
/proc/meminfo: memFree=97397956/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2050584 CPUtime=3600.09 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 359898 111 0 0 20 0 1 0 237034078 2226966528 512646 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512646 3776 3530 0 535144 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2050584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.34 s]
# the end of solver process 159022 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.98 s, system=1.15739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/249 159425
/proc/meminfo: memFree=97397956/131382112 swapFree=33001664/33010684
[pid=159022] ppid=159019 vsize=2174772 memory=2050584 CPUtime=3600.09 cores=5,7
/proc/159022/stat : 159022 (pbscip) R 159019 159022 158201 0 -1 4194304 475867 0 0 0 359898 111 0 0 20 0 1 0 237034078 2226966528 512646 18446744073709551615 4235264 18693293 140722473056800 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54853632 140722473060743 140722473060842 140722473060842 140722473066446 0
/proc/159022/statm: 543693 512646 3776 3530 0 535144 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2174772 KiB
Current children cumulated memory: 2050584 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.34
CPU time (s): 3600.14
CPU user time (s): 3598.98
CPU system time (s): 1.15739
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 2174772
Max. memory (cumulated for all children) (KiB): 2050584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.98
system time used= 1.15739
maximum resident set size= 2050584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475867
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= 98
involuntary context switches= 1470
# summary of solver processes directly reported to runsolver:
# pid: 159022
# total CPU time (s): 3600.14
# total CPU user time (s): 3598.98
# total CPU system time (s): 1.15739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4171 second user time and 32.1591 second system time
The end
Begin job on nodeC005 at 2025-07-22 21:45:47
IDJOB=4542590
IDBENCH=163937
IDSOLVER=3365
FILE ID=nodeC005/4542590-1753213547
RUNJOBID= nodeC005-1753211112-158214
SLURM_JOB_ID= 9687789
Free space on /tmp= 432872 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542590-1753213547/watcher-4542590-1753213547 -o /tmp/evaluation-result-4542590-1753213547/solver-4542590-1753213547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158214 --watchdog 3760 pbscip -f HOME/instance-4542590-1753213547.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=677291644
nodeC005 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 : 0xb00001f
cpu MHz : 3662.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3691.473
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.606
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.871
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3662.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.510
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 61052668 kB
MemAvailable: 85309828 kB
Buffers: 12 kB
Cached: 25028548 kB
SwapCached: 776 kB
Active: 44479356 kB
Inactive: 24615268 kB
Active(anon): 44048224 kB
Inactive(anon): 38404 kB
Active(file): 431132 kB
Inactive(file): 24576864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33001664 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24160 kB
Writeback: 0 kB
AnonPages: 44068360 kB
Mapped: 135644 kB
Shmem: 20564 kB
KReclaimable: 177584 kB
Slab: 268668 kB
SReclaimable: 177584 kB
SUnreclaim: 91084 kB
KernelStack: 4048 kB
PageTables: 89680 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 46758228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5738496 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC005 at 2025-07-22 22:45:58