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-4525615-1751619672.wbo>
0.49/0.55 c original problem has 131437 variables (131437 bin, 0 int, 0 impl, 0 cont) and 259750 constraints
0.49/0.55 c problem read in 0.55
2.08/2.11 c presolving:
2.48/2.51 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 129825 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 129924 clqs
6.66/6.74 c (6.7s) 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: 63708 MiB (62081 MiB free)
memory of node 1: 64465 MiB (58633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525615-1751619672/watcher-4525615-1751619672 -o /tmp/evaluation-result-4525615-1751619672/solver-4525615-1751619672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86620 --watchdog 3760 pbscip -f HOME/instance-4525615-1751619672.wbo -t 3600 -j 2 -m 31000
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89487, runsolver pid=89484
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.11 5/264 89488
/proc/meminfo: memFree=123611760/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=83052 memory=55296 CPUtime=0.09 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 10955 0 0 0 8 1 0 0 20 0 1 0 77641764 85045248 13824 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 20763 13824 3200 3530 0 12214 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83052 KiB
Current children cumulated memory: 55296 KiB
[startup+0.205531 s]*
/proc/loadavg: 4.12 4.12 4.11 5/264 89488
/proc/meminfo: memFree=123611760/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=122440 memory=94592 CPUtime=0.2 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 20795 0 0 0 17 3 0 0 20 0 1 0 77641764 125378560 23648 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 30610 23648 3200 3530 0 22061 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 122440 KiB
Current children cumulated memory: 94592 KiB
[startup+0.30544 s]*
/proc/loadavg: 4.12 4.12 4.11 5/264 89488
/proc/meminfo: memFree=123607980/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=159180 memory=131328 CPUtime=0.29 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 29977 0 0 0 25 4 0 0 20 0 1 0 77641764 163000320 32832 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 39795 32832 3200 3530 0 31246 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159180 KiB
Current children cumulated memory: 131328 KiB
[startup+0.700187 s]
/proc/loadavg: 4.12 4.12 4.11 5/264 89488
/proc/meminfo: memFree=123523308/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=377372 memory=348056 CPUtime=0.68 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 85124 0 0 0 55 13 0 0 20 0 1 0 77641764 386428928 87014 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 94343 87014 3520 3530 0 85794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 377372 KiB
Current children cumulated memory: 348056 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.12 4.11 5/264 89488
/proc/meminfo: memFree=123259864/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=733320 memory=698828 CPUtime=1.48 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 171731 0 0 0 121 27 0 0 20 0 1 0 77641764 750919680 174675 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 183330 174707 3552 3530 0 174781 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 733320 KiB
Current children cumulated memory: 698828 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.12 4.11 5/264 89488
/proc/meminfo: memFree=122748640/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=1022380 memory=980808 CPUtime=3.08 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 239931 0 0 0 270 38 0 0 20 0 1 0 77641764 1046917120 245202 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 255595 245202 3616 3530 0 247046 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1022380 KiB
Current children cumulated memory: 980808 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.11 5/264 89488
/proc/meminfo: memFree=122748892/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=1022380 memory=980808 CPUtime=6.27 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 239932 0 0 0 589 38 0 0 20 0 1 0 77641764 1046917120 245202 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 255595 245202 3616 3530 0 247046 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1022380 KiB
Current children cumulated memory: 980808 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.11 5/264 89488
/proc/meminfo: memFree=121923996/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2067548 memory=1856132 CPUtime=12.64 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 361067 0 0 0 1196 68 0 0 20 0 1 0 77641764 2117169152 464033 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 516887 464033 3648 3530 0 508338 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2067548 KiB
Current children cumulated memory: 1856132 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.12 5/264 89488
/proc/meminfo: memFree=120991424/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2924852 memory=2727596 CPUtime=25.42 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 575863 0 0 0 2439 103 0 0 20 0 1 0 77641764 2995048448 681899 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 731213 681899 3648 3530 0 722664 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2924852 KiB
Current children cumulated memory: 2727596 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.12 4.11 5/264 89489
/proc/meminfo: memFree=120887760/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966700 memory=2777804 CPUtime=50.95 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 586857 0 0 0 4991 104 0 0 20 0 1 0 77641764 3037900800 694451 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741675 694451 3648 3530 0 733126 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2966700 KiB
Current children cumulated memory: 2777804 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/263 89493
/proc/meminfo: memFree=120778848/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966708 memory=2778828 CPUtime=102.03 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587116 0 0 0 10098 105 0 0 20 0 1 0 77641764 3037908992 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741677 694707 3648 3530 0 733128 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2966708 KiB
Current children cumulated memory: 2778828 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/263 89495
/proc/meminfo: memFree=120751516/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966708 memory=2778828 CPUtime=161.89 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587119 0 0 0 16083 106 0 0 20 0 1 0 77641764 3037908992 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741677 694707 3648 3530 0 733128 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2966708 KiB
Current children cumulated memory: 2778828 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 89497
/proc/meminfo: memFree=120709016/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966712 memory=2778828 CPUtime=221.74 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587135 0 0 0 22068 106 0 0 20 0 1 0 77641764 3037913088 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741678 694707 3648 3530 0 733129 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 2966712 KiB
Current children cumulated memory: 2778828 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 89499
/proc/meminfo: memFree=120674580/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966716 memory=2778828 CPUtime=281.6 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587136 0 0 0 28053 107 0 0 20 0 1 0 77641764 3037917184 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741679 694707 3648 3530 0 733130 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 2966716 KiB
Current children cumulated memory: 2778828 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 89506
/proc/meminfo: memFree=120609048/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966716 memory=2778828 CPUtime=341.46 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587136 0 0 0 34039 107 0 0 20 0 1 0 77641764 3037917184 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741679 694707 3648 3530 0 733130 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2966716 KiB
Current children cumulated memory: 2778828 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 89508
/proc/meminfo: memFree=120592676/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966720 memory=2778828 CPUtime=401.31 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587140 0 0 0 40024 107 0 0 20 0 1 0 77641764 3037921280 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741680 694707 3648 3530 0 733131 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2966720 KiB
Current children cumulated memory: 2778828 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 89510
/proc/meminfo: memFree=120555216/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966720 memory=2778828 CPUtime=461.17 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587140 0 0 0 46009 108 0 0 20 0 1 0 77641764 3037921280 694707 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741680 694707 3648 3530 0 733131 0
################
# More data... #
################
Current children cumulated memory: 2810060 KiB
[startup+2922.3 s]
/proc/loadavg: 1.33 2.25 2.95 2/245 89732
/proc/meminfo: memFree=124285404/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966764 memory=2810060 CPUtime=2914.76 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587498 0 0 0 291343 133 0 0 20 0 1 0 77641764 3037966336 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741691 702515 3648 3530 0 733142 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 2966764 KiB
Current children cumulated memory: 2810060 KiB
[startup+2982.3 s]
/proc/loadavg: 1.17 2.03 2.83 2/245 89735
/proc/meminfo: memFree=124284288/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966764 memory=2810060 CPUtime=2974.64 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587499 0 0 0 297331 133 0 0 20 0 1 0 77641764 3037966336 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741691 702515 3648 3530 0 733142 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 2966764 KiB
Current children cumulated memory: 2810060 KiB
[startup+3042.3 s]
/proc/loadavg: 1.18 1.87 2.72 2/245 89737
/proc/meminfo: memFree=124284320/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966764 memory=2810060 CPUtime=3034.52 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587499 0 0 0 303319 133 0 0 20 0 1 0 77641764 3037966336 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741691 702515 3648 3530 0 733142 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 2966764 KiB
Current children cumulated memory: 2810060 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.73 2.62 2/245 89739
/proc/meminfo: memFree=124284936/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966764 memory=2810060 CPUtime=3094.41 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587500 0 0 0 309307 134 0 0 20 0 1 0 77641764 3037966336 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741691 702515 3648 3530 0 733142 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 2966764 KiB
Current children cumulated memory: 2810060 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.61 2.52 2/245 89744
/proc/meminfo: memFree=124285060/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966764 memory=2810060 CPUtime=3154.29 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587528 0 0 0 315295 134 0 0 20 0 1 0 77641764 3037966336 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741691 702515 3648 3530 0 733142 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 2966764 KiB
Current children cumulated memory: 2810060 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.53 2.43 2/245 89746
/proc/meminfo: memFree=124285124/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3214.18 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587606 0 0 0 321283 135 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.44 2.34 2/245 89748
/proc/meminfo: memFree=124285028/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3274.06 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587607 0 0 0 327271 135 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.39 2.27 2/245 89749
/proc/meminfo: memFree=124285740/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3333.94 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587609 0 0 0 333259 135 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.33 2.19 2/245 89751
/proc/meminfo: memFree=124285900/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3393.82 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587610 0 0 0 339246 136 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.29 2.12 2/245 89758
/proc/meminfo: memFree=124286216/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3453.7 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587610 0 0 0 345234 136 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.25 2.05 2/245 89760
/proc/meminfo: memFree=124286072/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3513.59 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587720 0 0 0 351222 137 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.22 1.99 2/245 89762
/proc/meminfo: memFree=124286672/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966768 memory=2810060 CPUtime=3573.47 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587722 0 0 0 357210 137 0 0 20 0 1 0 77641764 3037970432 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741692 702515 3648 3530 0 733143 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 2966768 KiB
Current children cumulated memory: 2810060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 1.13 1.21 1.97 2/245 89775
/proc/meminfo: memFree=124294780/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966772 memory=2810060 CPUtime=3600.02 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587723 0 0 0 359865 137 0 0 20 0 1 0 77641764 3037974528 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741693 702515 3648 3530 0 733144 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2966772 KiB
Current children cumulated memory: 2810060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 89487 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.65 s, system=1.38983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 1.13 1.21 1.97 2/245 89775
/proc/meminfo: memFree=124294780/131249992 swapFree=33009392/33010684
[pid=89487] ppid=89484 vsize=2966772 memory=2810060 CPUtime=3600.02 cores=4,6
/proc/89487/stat : 89487 (pbscip) R 89484 89487 86331 0 -1 4194304 587723 0 0 0 359865 137 0 0 20 0 1 0 77641764 3037974528 702515 18446744073709551615 4235264 18693293 140729536063360 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47198208 140729536067975 140729536068074 140729536068074 140729536073678 0
/proc/89487/statm: 741693 702515 3648 3530 0 733144 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2966772 KiB
Current children cumulated memory: 2810060 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.91
CPU time (s): 3600.04
CPU user time (s): 3598.65
CPU system time (s): 1.38983
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 2966772
Max. memory (cumulated for all children) (KiB): 2810060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.65
system time used= 1.38983
maximum resident set size= 2810060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587723
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= 81
involuntary context switches= 2806
# summary of solver processes directly reported to runsolver:
# pid: 89487
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.65
# total CPU system time (s): 1.38983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66652 second user time and 14.8096 second system time
The end
Begin job on nodeC035 at 2025-07-04 11:01:12
IDJOB=4525615
IDBENCH=143860
IDSOLVER=3382
FILE ID=nodeC035/4525615-1751619672
RUNJOBID= nodeC035-1751613946-86620
SLURM_JOB_ID= 9598906
Free space on /tmp= 432752 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-24_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525615-1751619672/watcher-4525615-1751619672 -o /tmp/evaluation-result-4525615-1751619672/solver-4525615-1751619672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86620 --watchdog 3760 pbscip -f HOME/instance-4525615-1751619672.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5f4845564474de72882a5c75d8b8b05c
RANDOM SEED=1461305339
nodeC035 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 : 3599.727
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.51
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.730
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.51
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 : 3578.920
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.51
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 : 3602.252
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.51
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.742
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.51
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.737
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.51
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 : 3596.944
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.51
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 : 3607.398
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 123611760 kB
MemAvailable: 126281428 kB
Buffers: 664 kB
Cached: 3419796 kB
SwapCached: 332 kB
Active: 3676160 kB
Inactive: 3117444 kB
Active(anon): 3369796 kB
Inactive(anon): 21052 kB
Active(file): 306364 kB
Inactive(file): 3096392 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22400 kB
Writeback: 4 kB
AnonPages: 3375904 kB
Mapped: 138620 kB
Shmem: 17700 kB
KReclaimable: 212304 kB
Slab: 303820 kB
SReclaimable: 212304 kB
SUnreclaim: 91516 kB
KernelStack: 4256 kB
PageTables: 9928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4038384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2301952 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432796 MiB
End job on nodeC035 at 2025-07-04 12:01:21