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-4515608-1751236014.opb>
0.09/0.12 c original problem has 23280 variables (23280 bin, 0 int, 0 impl, 0 cont) and 4657 constraints
0.09/0.12 c problem read in 0.10
0.09/0.12 c No objective function, only one solution is needed.
0.21/0.23 c presolving:
0.21/0.28 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.31/0.35 c (0.3s) running MILP presolver
0.31/0.41 c (0.4s) MILP presolver found nothing
0.50/0.53 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 97 chg sides, 0 chg coeffs, 4550 upgd conss, 0 impls, 0 clqs
0.50/0.57 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 97 chg sides, 0 chg coeffs, 4633 upgd conss, 0 impls, 0 clqs
0.50/0.58 c (round 4, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 97 chg sides, 0 chg coeffs, 4657 upgd conss, 0 impls, 0 clqs
0.78/0.80 c (0.8s) probing: 51/23280 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.78/0.80 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.83 c (0.8s) 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: 63794 MiB (62868 MiB free)
memory of node 1: 64507 MiB (63610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515608-1751236014/watcher-4515608-1751236014 -o /tmp/evaluation-result-4515608-1751236014/solver-4515608-1751236014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751236011-35717 --watchdog 3760 pbscip -f HOME/instance-4515608-1751236014.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=35821, runsolver pid=35818
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.61 2.34 2.84 5/252 35822
/proc/meminfo: memFree=129475244/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=69532 memory=41728 CPUtime=0.09 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 7519 0 0 0 7 2 0 0 20 0 1 0 39281171 71200768 10432 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 17383 10432 3232 3530 0 8834 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69532 KiB
Current children cumulated memory: 41728 KiB
[startup+0.21306 s]*
/proc/loadavg: 1.61 2.34 2.84 5/252 35822
/proc/meminfo: memFree=129419088/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=109872 memory=80896 CPUtime=0.21 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 17030 0 0 0 15 6 0 0 20 0 1 0 39281171 112508928 20224 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 27468 20224 3552 3530 0 18919 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109872 KiB
Current children cumulated memory: 80896 KiB
[startup+0.313115 s]*
/proc/loadavg: 1.61 2.34 2.84 5/252 35822
/proc/meminfo: memFree=129411024/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=118160 memory=87808 CPUtime=0.31 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 18788 0 0 0 24 7 0 0 20 0 1 0 39281171 120995840 21952 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 29540 21952 3584 3530 0 20991 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 87808 KiB
[startup+0.700305 s]
/proc/loadavg: 1.61 2.34 2.84 5/252 35822
/proc/meminfo: memFree=129370956/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=150580 memory=120820 CPUtime=0.68 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 29687 0 0 0 57 11 0 0 20 0 1 0 39281171 154193920 30205 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 37645 30205 3744 3530 0 29096 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150580 KiB
Current children cumulated memory: 120820 KiB
[startup+1.50023 s]
/proc/loadavg: 1.61 2.34 2.84 5/252 35822
/proc/meminfo: memFree=129282504/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=289084 memory=216316 CPUtime=1.48 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 53129 0 0 0 132 16 0 0 20 0 1 0 39281171 296022016 54079 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 72271 54079 3744 3530 0 63722 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 289084 KiB
Current children cumulated memory: 216316 KiB
[startup+3.11196 s]
/proc/loadavg: 1.80 2.37 2.85 5/252 35822
/proc/meminfo: memFree=129065472/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=427276 memory=356780 CPUtime=3.08 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 87756 0 0 0 286 22 0 0 20 0 1 0 39281171 437530624 89195 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 106819 89195 3744 3530 0 98270 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 427276 KiB
Current children cumulated memory: 356780 KiB
[startup+6.30021 s]
/proc/loadavg: 1.80 2.37 2.85 5/252 35867
/proc/meminfo: memFree=128590068/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=468204 memory=401632 CPUtime=6.26 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 97947 0 0 0 602 24 0 0 20 0 1 0 39281171 479440896 100408 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 117051 100408 3744 3530 0 108502 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 468204 KiB
Current children cumulated memory: 401632 KiB
[startup+12.7002 s]
/proc/loadavg: 2.14 2.42 2.86 5/252 35868
/proc/meminfo: memFree=127856976/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=506408 memory=441568 CPUtime=12.65 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 107917 0 0 0 1239 26 0 0 20 0 1 0 39281171 518561792 110392 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 126602 110392 3744 3530 0 118053 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 506408 KiB
Current children cumulated memory: 441568 KiB
[startup+25.5002 s]
/proc/loadavg: 2.43 2.47 2.88 5/252 35868
/proc/meminfo: memFree=127349916/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=554612 memory=489568 CPUtime=25.42 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 119924 0 0 0 2514 28 0 0 20 0 1 0 39281171 567922688 122392 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 138653 122392 3744 3530 0 130104 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 554612 KiB
Current children cumulated memory: 489568 KiB
[startup+51.112 s]
/proc/loadavg: 2.96 2.60 2.91 5/252 35868
/proc/meminfo: memFree=127040820/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=619188 memory=554208 CPUtime=50.98 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 136068 0 0 0 5067 31 0 0 20 0 1 0 39281171 634048512 138552 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 154797 138552 3744 3530 0 146248 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 619188 KiB
Current children cumulated memory: 554208 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.87 2.98 5/253 35876
/proc/meminfo: memFree=126835996/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651936 memory=587104 CPUtime=102.05 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144300 0 0 0 10173 32 0 0 20 0 1 0 39281171 667582464 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162984 146776 3744 3530 0 154435 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 651936 KiB
Current children cumulated memory: 587104 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.09 3.06 5/252 35878
/proc/meminfo: memFree=126860688/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651944 memory=587104 CPUtime=161.92 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144302 0 0 0 16160 32 0 0 20 0 1 0 39281171 667590656 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162986 146776 3744 3530 0 154437 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 651944 KiB
Current children cumulated memory: 587104 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.27 3.12 5/252 35880
/proc/meminfo: memFree=126851876/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651948 memory=587104 CPUtime=221.78 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144303 0 0 0 22146 32 0 0 20 0 1 0 39281171 667594752 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162987 146776 3744 3530 0 154438 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 651948 KiB
Current children cumulated memory: 587104 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.42 3.19 5/253 35885
/proc/meminfo: memFree=126880120/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651952 memory=587104 CPUtime=281.64 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144304 0 0 0 28132 32 0 0 20 0 1 0 39281171 667598848 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162988 146776 3744 3530 0 154439 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 651952 KiB
Current children cumulated memory: 587104 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.55 3.24 5/252 35887
/proc/meminfo: memFree=126863204/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651956 memory=587104 CPUtime=341.51 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144305 0 0 0 34119 32 0 0 20 0 1 0 39281171 667602944 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162989 146776 3744 3530 0 154440 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 651956 KiB
Current children cumulated memory: 587104 KiB
[startup+402.3 s]
/proc/loadavg: 4.87 3.84 3.36 5/251 35889
/proc/meminfo: memFree=126865436/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651960 memory=587104 CPUtime=401.37 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144306 0 0 0 40105 32 0 0 20 0 1 0 39281171 667607040 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162990 146776 3744 3530 0 154441 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 651960 KiB
Current children cumulated memory: 587104 KiB
[startup+462.3 s]
/proc/loadavg: 5.05 4.09 3.48 5/251 35891
/proc/meminfo: memFree=126864880/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=651964 memory=587104 CPUtime=461.24 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144307 0 0 0 46091 33 0 0 20 0 1 0 39281171 667611136 146776 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 162991 146776 3744 3530 0 154442 0
Current children cumulated CPU time: 461.24 s
################
# More data... #
################
Current children cumulated memory: 597984 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.18 4.10 5/252 36021
/proc/meminfo: memFree=126828412/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652044 memory=597984 CPUtime=2855.82 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144678 0 0 0 285549 33 0 0 20 0 1 0 39281171 667693056 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163011 149496 3744 3530 0 154462 0
Current children cumulated CPU time: 2855.82 s
Current children cumulated vsize: 652044 KiB
Current children cumulated memory: 597984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/252 36023
/proc/meminfo: memFree=126828236/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652048 memory=597984 CPUtime=2915.68 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144680 0 0 0 291535 33 0 0 20 0 1 0 39281171 667697152 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163012 149496 3744 3530 0 154463 0
Current children cumulated CPU time: 2915.68 s
Current children cumulated vsize: 652048 KiB
Current children cumulated memory: 597984 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/251 36025
/proc/meminfo: memFree=126827972/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652048 memory=597984 CPUtime=2975.55 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144680 0 0 0 297522 33 0 0 20 0 1 0 39281171 667697152 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163012 149496 3744 3530 0 154463 0
Current children cumulated CPU time: 2975.55 s
Current children cumulated vsize: 652048 KiB
Current children cumulated memory: 597984 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/250 36027
/proc/meminfo: memFree=126827620/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652052 memory=597984 CPUtime=3035.41 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144681 0 0 0 303508 33 0 0 20 0 1 0 39281171 667701248 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163013 149496 3744 3530 0 154464 0
Current children cumulated CPU time: 3035.41 s
Current children cumulated vsize: 652052 KiB
Current children cumulated memory: 597984 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/252 36035
/proc/meminfo: memFree=126829708/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652052 memory=597984 CPUtime=3095.28 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144682 0 0 0 309495 33 0 0 20 0 1 0 39281171 667701248 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163013 149496 3744 3530 0 154464 0
Current children cumulated CPU time: 3095.28 s
Current children cumulated vsize: 652052 KiB
Current children cumulated memory: 597984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 36037
/proc/meminfo: memFree=126829336/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652052 memory=597984 CPUtime=3155.14 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144682 0 0 0 315481 33 0 0 20 0 1 0 39281171 667701248 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163013 149496 3744 3530 0 154464 0
Current children cumulated CPU time: 3155.14 s
Current children cumulated vsize: 652052 KiB
Current children cumulated memory: 597984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/251 36039
/proc/meminfo: memFree=126829908/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652056 memory=597984 CPUtime=3215.01 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144683 0 0 0 321468 33 0 0 20 0 1 0 39281171 667705344 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163014 149496 3744 3530 0 154465 0
Current children cumulated CPU time: 3215.01 s
Current children cumulated vsize: 652056 KiB
Current children cumulated memory: 597984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/251 36043
/proc/meminfo: memFree=126828652/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652056 memory=597984 CPUtime=3274.87 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144684 0 0 0 327454 33 0 0 20 0 1 0 39281171 667705344 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163014 149496 3744 3530 0 154465 0
Current children cumulated CPU time: 3274.87 s
Current children cumulated vsize: 652056 KiB
Current children cumulated memory: 597984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 36045
/proc/meminfo: memFree=126827532/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652056 memory=597984 CPUtime=3334.74 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144732 0 0 0 333441 33 0 0 20 0 1 0 39281171 667705344 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163014 149496 3744 3530 0 154465 0
Current children cumulated CPU time: 3334.74 s
Current children cumulated vsize: 652056 KiB
Current children cumulated memory: 597984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 36047
/proc/meminfo: memFree=126828180/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652060 memory=597984 CPUtime=3394.6 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144737 0 0 0 339427 33 0 0 20 0 1 0 39281171 667709440 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163015 149496 3744 3530 0 154466 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 652060 KiB
Current children cumulated memory: 597984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/251 36049
/proc/meminfo: memFree=126826780/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652060 memory=597984 CPUtime=3454.47 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144738 0 0 0 345414 33 0 0 20 0 1 0 39281171 667709440 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163015 149496 3744 3530 0 154466 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 652060 KiB
Current children cumulated memory: 597984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 36051
/proc/meminfo: memFree=126829284/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652060 memory=597984 CPUtime=3514.33 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144738 0 0 0 351400 33 0 0 20 0 1 0 39281171 667709440 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163015 149496 3744 3530 0 154466 0
Current children cumulated CPU time: 3514.33 s
Current children cumulated vsize: 652060 KiB
Current children cumulated memory: 597984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 36053
/proc/meminfo: memFree=126828648/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652060 memory=597984 CPUtime=3574.2 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144738 0 0 0 357387 33 0 0 20 0 1 0 39281171 667709440 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163015 149496 3744 3530 0 154466 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 652060 KiB
Current children cumulated memory: 597984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 3.93 4.07 4.08 3/239 36115
/proc/meminfo: memFree=127869924/131382116 swapFree=33010684/33010684
[pid=35821] ppid=35818 vsize=652064 memory=597984 CPUtime=3600.04 cores=0,2
/proc/35821/stat : 35821 (pbscip) R 35818 35821 31357 0 -1 4194304 144740 0 0 0 359971 33 0 0 20 0 1 0 39281171 667713536 149496 18446744073709551615 4235264 18693293 140729650966784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34476032 140729650968969 140729650969068 140729650969068 140729650974670 0
/proc/35821/statm: 163016 149496 3744 3530 0 154467 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 652064 KiB
Current children cumulated memory: 597984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.2 s]
# the end of solver process 35821 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.71 s, system=0.340826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.2
CPU time (s): 3600.05
CPU user time (s): 3599.71
CPU system time (s): 0.340826
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 652064
Max. memory (cumulated for all children) (KiB): 597984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.340826
maximum resident set size= 597984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144740
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= 90
involuntary context switches= 7855
# summary of solver processes directly reported to runsolver:
# pid: 35821
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.71
# total CPU system time (s): 0.340826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6613 second user time and 29.4253 second system time
The end
Begin job on nodeC011 at 2025-06-30 00:26:54
IDJOB=4515608
IDBENCH=165315
IDSOLVER=3365
FILE ID=nodeC011/4515608-1751236014
RUNJOBID= nodeC011-1751236011-35717
SLURM_JOB_ID= 9587684
Free space on /tmp= 432996 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515608-1751236014/watcher-4515608-1751236014 -o /tmp/evaluation-result-4515608-1751236014/solver-4515608-1751236014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751236011-35717 --watchdog 3760 pbscip -f HOME/instance-4515608-1751236014.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 431f08d4eea5f2e22db9cb62a33eb4a4
RANDOM SEED=101542726
nodeC011 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 : 1197.732
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 : 6984.20
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 : 3492.146
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 : 6984.20
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.297
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 : 6984.20
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 : 3700.000
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 : 6984.20
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 : 3492.063
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 : 6984.20
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 : 2993.229
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 : 6984.20
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 : 3700.000
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 : 6984.20
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129523032 kB
MemAvailable: 129388092 kB
Buffers: 3280 kB
Cached: 674548 kB
SwapCached: 0 kB
Active: 949336 kB
Inactive: 375668 kB
Active(anon): 665144 kB
Inactive(anon): 0 kB
Active(file): 284192 kB
Inactive(file): 375668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76664 kB
Writeback: 0 kB
AnonPages: 650728 kB
Mapped: 134944 kB
Shmem: 17960 kB
KReclaimable: 89272 kB
Slab: 169488 kB
SReclaimable: 89272 kB
SUnreclaim: 80216 kB
KernelStack: 4096 kB
PageTables: 4388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1086676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC011 at 2025-06-30 01:27:03