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-4543721-1753216163.opb>
0.29/0.39 c original problem has 279390 variables (279390 bin, 0 int, 0 impl, 0 cont) and 5791 constraints
0.29/0.39 c problem read in 0.38
0.29/0.39 c No objective function, only one solution is needed.
0.88/0.94 c presolving:
1.27/1.36 c (1.3s) running MILP presolver
1.77/1.87 c (1.9s) MILP presolver found nothing
2.08/2.14 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2911 upgd conss, 0 impls, 2880 clqs
2.28/2.35 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5791 upgd conss, 0 impls, 2880 clqs
5.27/5.33 c (5.3s) probing: 51/279390 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.27/5.33 c (5.3s) probing aborted: 50/50 successive totally useless probings
5.47/5.50 c (5.5s) 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: 63665 MiB (60753 MiB free)
memory of node 1: 64507 MiB (62217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543721-1753216163/watcher-4543721-1753216163 -o /tmp/evaluation-result-4543721-1753216163/solver-4543721-1753216163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753209881-195253 --watchdog 3760 pbscip -f HOME/instance-4543721-1753216163.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
Current StackSize limit: 8192 KiB
solver pid=197104, runsolver pid=197101
[startup+0.100066 s]*
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125841248/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=120892 memory=92032 CPUtime=0.09 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 20099 0 0 0 6 3 0 0 20 0 1 0 237296516 123793408 23008 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 30223 23008 3232 3530 0 21674 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 120892 KiB
Current children cumulated memory: 92032 KiB
[startup+0.20554 s]*
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125760860/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=201380 memory=172800 CPUtime=0.19 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 40277 0 0 0 13 6 0 0 20 0 1 0 237296516 206213120 43200 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 50345 43200 3232 3530 0 41796 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 201380 KiB
Current children cumulated memory: 172800 KiB
[startup+0.305495 s]*
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125680092/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=273956 memory=245376 CPUtime=0.29 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 58428 0 0 0 20 9 0 0 20 0 1 0 237296516 280530944 61344 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 68489 61344 3232 3530 0 59940 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 273956 KiB
Current children cumulated memory: 245376 KiB
[startup+0.70018 s]
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125514968/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=615924 memory=588648 CPUtime=0.68 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 144484 0 0 0 46 22 0 0 20 0 1 0 237296516 630706176 147162 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 153981 147162 3488 3530 0 145432 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 615924 KiB
Current children cumulated memory: 588648 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125196376/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=918372 memory=872528 CPUtime=1.47 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 200632 0 0 0 114 33 0 0 20 0 1 0 237296516 940412928 218132 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 229593 218132 3680 3530 0 221044 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 918372 KiB
Current children cumulated memory: 872528 KiB
[startup+3.10532 s]
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=125029956/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=869140 memory=819276 CPUtime=3.08 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 206970 0 0 0 273 35 0 0 20 0 1 0 237296516 889999360 204819 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 217285 204819 3680 3530 0 208736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 869140 KiB
Current children cumulated memory: 819276 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.08 4.12 5/265 197105
/proc/meminfo: memFree=124870984/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1301192 memory=1045408 CPUtime=6.26 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 237923 0 0 0 584 42 0 0 20 0 1 0 237296516 1332420608 261352 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 325298 261352 3744 3530 0 316749 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1301192 KiB
Current children cumulated memory: 1045408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.07 4.12 5/265 197105
/proc/meminfo: memFree=124374324/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1770324 memory=1534840 CPUtime=12.64 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 346476 0 0 0 1203 61 0 0 20 0 1 0 237296516 1812811776 383710 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 442581 383710 3744 3530 0 434032 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1770324 KiB
Current children cumulated memory: 1534840 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.11 5/265 197105
/proc/meminfo: memFree=124082108/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992976 memory=1777976 CPUtime=25.39 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396003 0 0 0 2470 69 0 0 20 0 1 0 237296516 2040807424 444494 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498244 444494 3744 3530 0 489695 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1992976 KiB
Current children cumulated memory: 1777976 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.08 4.12 5/265 197105
/proc/meminfo: memFree=123982960/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992980 memory=1800508 CPUtime=50.92 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396027 0 0 0 5021 71 0 0 20 0 1 0 237296516 2040811520 450127 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498245 450127 3744 3530 0 489696 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1992980 KiB
Current children cumulated memory: 1800508 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.08 4.11 5/265 197107
/proc/meminfo: memFree=123827888/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992980 memory=1807804 CPUtime=101.93 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396351 0 0 0 10121 72 0 0 20 0 1 0 237296516 2040811520 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498245 451951 3744 3530 0 489696 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1992980 KiB
Current children cumulated memory: 1807804 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.16 4.13 5/265 197109
/proc/meminfo: memFree=123659844/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992984 memory=1807804 CPUtime=161.73 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396366 0 0 0 16100 73 0 0 20 0 1 0 237296516 2040815616 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498246 451951 3744 3530 0 489697 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1992984 KiB
Current children cumulated memory: 1807804 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.16 4.13 5/266 197112
/proc/meminfo: memFree=123501620/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992984 memory=1807804 CPUtime=221.52 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396366 0 0 0 22079 73 0 0 20 0 1 0 237296516 2040815616 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498246 451951 3744 3530 0 489697 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1992984 KiB
Current children cumulated memory: 1807804 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/266 197114
/proc/meminfo: memFree=123311724/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992984 memory=1807804 CPUtime=281.32 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396378 0 0 0 28058 74 0 0 20 0 1 0 237296516 2040815616 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498246 451951 3744 3530 0 489697 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1992984 KiB
Current children cumulated memory: 1807804 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/264 197116
/proc/meminfo: memFree=123148172/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992984 memory=1807804 CPUtime=341.12 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396378 0 0 0 34038 74 0 0 20 0 1 0 237296516 2040815616 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498246 451951 3744 3530 0 489697 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1992984 KiB
Current children cumulated memory: 1807804 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/264 197118
/proc/meminfo: memFree=123006016/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992988 memory=1807804 CPUtime=400.91 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396391 0 0 0 40017 74 0 0 20 0 1 0 237296516 2040819712 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498247 451951 3744 3530 0 489698 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 1992988 KiB
Current children cumulated memory: 1807804 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/263 197126
/proc/meminfo: memFree=122841276/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1992988 memory=1807804 CPUtime=460.71 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396391 0 0 0 45997 74 0 0 20 0 1 0 237296516 2040819712 451951 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498247 451951 3744 3530 0 489698 0
Current children cumulated CPU time: 460.71 s
################
# More data... #
################
Current children cumulated memory: 1841852 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 197378
/proc/meminfo: memFree=125098876/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=2853.33 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396709 0 0 0 285255 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 2853.33 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 197387
/proc/meminfo: memFree=124698828/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=2913.18 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396710 0 0 0 291240 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 2913.18 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 197434
/proc/meminfo: memFree=125234064/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=2973.01 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396711 0 0 0 297223 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 2973.01 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3042.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/264 197436
/proc/meminfo: memFree=125205680/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3032.83 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396713 0 0 0 303205 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3032.83 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/265 197451
/proc/meminfo: memFree=125144444/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3092.66 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396713 0 0 0 309188 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3092.66 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/265 197453
/proc/meminfo: memFree=125144548/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3152.48 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396715 0 0 0 315170 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 197455
/proc/meminfo: memFree=125128300/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3212.3 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396823 0 0 0 321152 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 197457
/proc/meminfo: memFree=125124316/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3272.12 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396824 0 0 0 327134 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 197459
/proc/meminfo: memFree=125124212/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3331.94 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396824 0 0 0 333116 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 197461
/proc/meminfo: memFree=125120012/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993008 memory=1841852 CPUtime=3391.76 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396827 0 0 0 339098 78 0 0 20 0 1 0 237296516 2040840192 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498252 460463 3744 3530 0 489703 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 1993008 KiB
Current children cumulated memory: 1841852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 197463
/proc/meminfo: memFree=125127720/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993012 memory=1841852 CPUtime=3451.58 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396829 0 0 0 345080 78 0 0 20 0 1 0 237296516 2040844288 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498253 460463 3744 3530 0 489704 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 1993012 KiB
Current children cumulated memory: 1841852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 197472
/proc/meminfo: memFree=125126956/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993012 memory=1841852 CPUtime=3511.4 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396830 0 0 0 351062 78 0 0 20 0 1 0 237296516 2040844288 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498253 460463 3744 3530 0 489704 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 1993012 KiB
Current children cumulated memory: 1841852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 197474
/proc/meminfo: memFree=125119036/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993012 memory=1841852 CPUtime=3571.22 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396942 0 0 0 357044 78 0 0 20 0 1 0 237296516 2040844288 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498253 460463 3744 3530 0 489704 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 1993012 KiB
Current children cumulated memory: 1841852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 197475
/proc/meminfo: memFree=125118916/131250000 swapFree=33008868/33010684
[pid=197104] ppid=197101 vsize=1993012 memory=1841852 CPUtime=3600.04 cores=5,7
/proc/197104/stat : 197104 (pbscip) R 197101 197104 195240 0 -1 4194304 396943 0 0 0 359926 78 0 0 20 0 1 0 237296516 2040844288 460463 18446744073709551615 4235264 18693293 140733929692816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33349632 140733929695623 140733929695722 140733929695722 140733929701326 0
/proc/197104/statm: 498253 460463 3744 3530 0 489704 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1993012 KiB
Current children cumulated memory: 1841852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 197104 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.26 s, system=0.790595 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): 3611.21
CPU time (s): 3600.05
CPU user time (s): 3599.26
CPU system time (s): 0.790595
CPU usage (%): 99.691
Max. virtual memory (cumulated for all children) (KiB): 1993012
Max. memory (cumulated for all children) (KiB): 1841852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 0.790595
maximum resident set size= 1841852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396943
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= 92
involuntary context switches= 1020
# summary of solver processes directly reported to runsolver:
# pid: 197104
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.26
# total CPU system time (s): 0.790595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02897 second user time and 15.9638 second system time
The end
Begin job on nodeC013 at 2025-07-22 22:29:23
IDJOB=4543721
IDBENCH=174564
IDSOLVER=3365
FILE ID=nodeC013/4543721-1753216163
RUNJOBID= nodeC013-1753209881-195253
SLURM_JOB_ID= 9687772
Free space on /tmp= 432976 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543721-1753216163/watcher-4543721-1753216163 -o /tmp/evaluation-result-4543721-1753216163/solver-4543721-1753216163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753209881-195253 --watchdog 3760 pbscip -f HOME/instance-4543721-1753216163.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=202753596
nodeC013 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.831
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.67
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.837
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.67
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 : 3733.730
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.67
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 : 3599.454
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.67
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.827
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.67
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.978
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.67
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 : 3605.060
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.867
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125921572 kB
MemAvailable: 127038352 kB
Buffers: 1668 kB
Cached: 1857572 kB
SwapCached: 52 kB
Active: 3561164 kB
Inactive: 999572 kB
Active(anon): 2718088 kB
Inactive(anon): 4872 kB
Active(file): 843076 kB
Inactive(file): 994700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24628 kB
Writeback: 0 kB
AnonPages: 2704684 kB
Mapped: 139088 kB
Shmem: 21424 kB
KReclaimable: 236084 kB
Slab: 332796 kB
SReclaimable: 236084 kB
SUnreclaim: 96712 kB
KernelStack: 4272 kB
PageTables: 8516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3070492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 696320 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432952 MiB
End job on nodeC013 at 2025-07-22 23:29:34