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-4519432-1751538847.opb>
1.38/1.41 c original problem has 935142 variables (935142 bin, 0 int, 0 impl, 0 cont) and 56829 constraints
1.38/1.41 c problem read in 1.41
3.37/3.47 c presolving:
4.56/4.64 c (4.6s) running MILP presolver
5.66/5.70 c (5.7s) MILP presolver found nothing
6.36/6.47 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31597 upgd conss, 0 impls, 25194 clqs
7.46/7.55 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 56829 upgd conss, 0 impls, 25194 clqs
16.63/16.77 c (16.7s) probing: 51/935142 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
16.63/16.77 c (16.7s) probing aborted: 50/50 successive totally useless probings
17.22/17.39 c (17.4s) 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 (40881 MiB free)
memory of node 1: 64465 MiB (62557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519432-1751538847/watcher-4519432-1751538847 -o /tmp/evaluation-result-4519432-1751538847/solver-4519432-1751538847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88316 --watchdog 3760 pbscip -f HOME/instance-4519432-1751538847.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=91348, runsolver pid=91345
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.28 4.60 6/265 91349
/proc/meminfo: memFree=105849572/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=110772 memory=82432 CPUtime=0.08 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 17669 0 0 0 6 2 0 0 20 0 1 0 69562322 113430528 20608 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 27693 20608 3264 3530 0 19144 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 110772 KiB
Current children cumulated memory: 82432 KiB
[startup+0.206039 s]*
/proc/loadavg: 4.11 4.28 4.60 5/265 91349
/proc/meminfo: memFree=105785312/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=182920 memory=154624 CPUtime=0.19 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 35698 0 0 0 14 5 0 0 20 0 1 0 69562322 187310080 38656 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 45730 38656 3264 3530 0 37181 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 182920 KiB
Current children cumulated memory: 154624 KiB
[startup+0.305844 s]*
/proc/loadavg: 4.11 4.28 4.60 5/265 91349
/proc/meminfo: memFree=105712736/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=253416 memory=224896 CPUtime=0.29 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 53283 0 0 0 22 7 0 0 20 0 1 0 69562322 259497984 56224 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 63354 56224 3264 3530 0 54805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 253416 KiB
Current children cumulated memory: 224896 KiB
[startup+0.700187 s]
/proc/loadavg: 4.11 4.28 4.60 5/265 91349
/proc/meminfo: memFree=105575648/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=511972 memory=483548 CPUtime=0.68 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 117411 0 0 0 51 17 0 0 20 0 1 0 69562322 524259328 120887 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 127993 120887 3264 3530 0 119444 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 511972 KiB
Current children cumulated memory: 483548 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.28 4.59 5/265 91349
/proc/meminfo: memFree=105240396/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=1059980 memory=1024824 CPUtime=1.47 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 252273 0 0 0 112 35 0 0 20 0 1 0 69562322 1085419520 256206 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 264995 256206 3552 3530 0 256446 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1059980 KiB
Current children cumulated memory: 1024824 KiB
[startup+3.10583 s]
/proc/loadavg: 4.10 4.28 4.59 5/265 91349
/proc/meminfo: memFree=103807028/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=2282396 memory=2234644 CPUtime=3.07 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 541442 0 0 0 229 78 0 0 20 0 1 0 69562322 2337173504 558661 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 570599 558661 3584 3530 0 562050 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2282396 KiB
Current children cumulated memory: 2234644 KiB
[startup+6.30013 s]
/proc/loadavg: 4.10 4.27 4.59 5/265 91350
/proc/meminfo: memFree=102972748/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=2664116 memory=2589716 CPUtime=6.26 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 615590 0 0 0 523 103 0 0 20 0 1 0 69562322 2728054784 647429 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 666029 647429 3712 3530 0 657480 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2664116 KiB
Current children cumulated memory: 2589716 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.27 4.59 5/265 91350
/proc/meminfo: memFree=102909972/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=2894432 memory=2777296 CPUtime=12.64 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 636350 0 0 0 1156 108 0 0 20 0 1 0 69562322 2963898368 694324 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 723608 694324 3776 3530 0 715059 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2894432 KiB
Current children cumulated memory: 2777296 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.26 4.58 5/265 91350
/proc/meminfo: memFree=102122320/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=4529132 memory=3846744 CPUtime=25.4 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 801852 0 0 0 2393 147 0 0 20 0 1 0 69562322 4637831168 961686 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1132283 961686 3808 3530 0 1123734 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4529132 KiB
Current children cumulated memory: 3846744 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.25 4.57 5/264 91350
/proc/meminfo: memFree=100298660/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=6239852 memory=5557592 CPUtime=50.9 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1229582 0 0 0 4860 230 0 0 20 0 1 0 69562322 6389608448 1389398 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1559963 1389398 3808 3530 0 1551414 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 6239852 KiB
Current children cumulated memory: 5557592 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.22 4.54 5/264 91352
/proc/meminfo: memFree=99393872/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065556 memory=6455992 CPUtime=101.92 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435785 0 0 0 9917 275 0 0 20 0 1 0 69562322 7235129344 1613998 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766389 1613998 3808 3530 0 1757840 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 7065556 KiB
Current children cumulated memory: 6455992 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.19 4.51 5/264 91354
/proc/meminfo: memFree=99358248/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065556 memory=6501048 CPUtime=161.71 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435820 0 0 0 15895 276 0 0 20 0 1 0 69562322 7235129344 1625262 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766389 1625262 3808 3530 0 1757840 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 7065556 KiB
Current children cumulated memory: 6501048 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.17 4.48 5/264 91357
/proc/meminfo: memFree=99348248/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065556 memory=6501432 CPUtime=221.5 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435934 0 0 0 21873 277 0 0 20 0 1 0 69562322 7235129344 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766389 1625358 3808 3530 0 1757840 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 7065556 KiB
Current children cumulated memory: 6501432 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.15 4.45 5/265 91360
/proc/meminfo: memFree=99304200/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065560 memory=6501432 CPUtime=281.29 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435935 0 0 0 27852 277 0 0 20 0 1 0 69562322 7235133440 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766390 1625358 3808 3530 0 1757841 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 7065560 KiB
Current children cumulated memory: 6501432 KiB
[startup+342.3 s]
/proc/loadavg: 4.39 4.24 4.46 5/264 91362
/proc/meminfo: memFree=99304320/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065560 memory=6501432 CPUtime=341.09 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435947 0 0 0 33831 278 0 0 20 0 1 0 69562322 7235133440 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766390 1625358 3808 3530 0 1757841 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 7065560 KiB
Current children cumulated memory: 6501432 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.20 4.43 5/265 91369
/proc/meminfo: memFree=99295108/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065560 memory=6501432 CPUtime=400.89 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435947 0 0 0 39811 278 0 0 20 0 1 0 69562322 7235133440 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766390 1625358 3808 3530 0 1757841 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 7065560 KiB
Current children cumulated memory: 6501432 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.19 4.41 5/265 91371
/proc/meminfo: memFree=99294964/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065560 memory=6501432 CPUtime=460.68 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1435947 0 0 0 45790 278 0 0 20 0 1 0 69562322 7235133440 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766390 1625358 3808 3530 0 1757841 0
Current children cumulated CPU time: 460.68 s
################
# More data... #
################
/proc/91348/statm: 1766394 1625358 3808 3530 0 1757845 0
Current children cumulated CPU time: 2853.47 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501432 KiB
[startup+2922.3 s]
/proc/loadavg: 2.14 2.13 2.51 3/253 91569
/proc/meminfo: memFree=101285364/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501432 CPUtime=2913.32 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436157 0 0 0 291041 291 0 0 20 0 1 0 69562322 7235149824 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625358 3808 3530 0 1757845 0
Current children cumulated CPU time: 2913.32 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501432 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.12 2.48 3/252 91571
/proc/meminfo: memFree=101285644/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501432 CPUtime=2973.16 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436162 0 0 0 297025 291 0 0 20 0 1 0 69562322 7235149824 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625358 3808 3530 0 1757845 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501432 KiB
[startup+3042.3 s]
/proc/loadavg: 2.16 2.13 2.46 3/254 91575
/proc/meminfo: memFree=101278416/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501432 CPUtime=3033.02 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436171 0 0 0 303010 292 0 0 20 0 1 0 69562322 7235149824 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625358 3808 3530 0 1757845 0
Current children cumulated CPU time: 3033.02 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501432 KiB
[startup+3102.3 s]
/proc/loadavg: 1.55 1.96 2.38 2/248 91607
/proc/meminfo: memFree=123020812/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501432 CPUtime=3092.86 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436171 0 0 0 308994 292 0 0 20 0 1 0 69562322 7235149824 1625358 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625358 3808 3530 0 1757845 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501432 KiB
[startup+3162.3 s]
/proc/loadavg: 1.25 1.80 2.30 2/249 91612
/proc/meminfo: memFree=123019812/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3152.7 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436185 0 0 0 314978 292 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.66 2.22 2/248 91614
/proc/meminfo: memFree=123017712/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3212.54 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436185 0 0 0 320962 292 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.56 2.14 2/248 91616
/proc/meminfo: memFree=123020236/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3272.39 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436185 0 0 0 326947 292 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.47 2.07 2/247 91619
/proc/meminfo: memFree=123018536/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3332.23 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436199 0 0 0 332930 293 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.41 2.01 2/248 91622
/proc/meminfo: memFree=123018412/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3392.08 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436199 0 0 0 338915 293 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3462.3 s]
/proc/loadavg: 1.04 1.33 1.95 2/246 91624
/proc/meminfo: memFree=123019164/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065576 memory=6501944 CPUtime=3451.92 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436199 0 0 0 344899 293 0 0 20 0 1 0 69562322 7235149824 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766394 1625486 3808 3530 0 1757845 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 7065576 KiB
Current children cumulated memory: 6501944 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.30 1.90 2/247 91631
/proc/meminfo: memFree=123029768/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065580 memory=6501944 CPUtime=3511.77 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436214 0 0 0 350883 294 0 0 20 0 1 0 69562322 7235153920 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766395 1625486 3808 3530 0 1757846 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 7065580 KiB
Current children cumulated memory: 6501944 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.26 1.84 2/247 91633
/proc/meminfo: memFree=123027444/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065580 memory=6501944 CPUtime=3571.62 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436214 0 0 0 356868 294 0 0 20 0 1 0 69562322 7235153920 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766395 1625486 3808 3530 0 1757846 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 7065580 KiB
Current children cumulated memory: 6501944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.15 1.25 1.83 2/247 91634
/proc/meminfo: memFree=123030964/131250000 swapFree=33010160/33010684
[pid=91348] ppid=91345 vsize=7065580 memory=6501944 CPUtime=3600.04 cores=5,7
/proc/91348/stat : 91348 (pbscip) R 91345 91348 88303 0 -1 4194304 1436214 0 0 0 359710 294 0 0 20 0 1 0 69562322 7235153920 1625486 18446744073709551615 4235264 18693293 140726786388144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28139520 140726786394505 140726786394604 140726786394604 140726786400206 0
/proc/91348/statm: 1766395 1625486 3808 3530 0 1757846 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 7065580 KiB
Current children cumulated memory: 6501944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.97 s]
# the end of solver process 91348 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.11 s, system=3.10658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]*
/proc/loadavg: 1.15 1.25 1.83 2/247 91634
/proc/meminfo: memFree=127402180/131250000 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.97
CPU time (s): 3600.22
CPU user time (s): 3597.11
CPU system time (s): 3.10658
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 7065580
Max. memory (cumulated for all children) (KiB): 6501944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.11
system time used= 3.10658
maximum resident set size= 6501944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1436214
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= 85
involuntary context switches= 1097
# summary of solver processes directly reported to runsolver:
# pid: 91348
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.11
# total CPU system time (s): 3.10658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01737 second user time and 15.9779 second system time
The end
Begin job on nodeC016 at 2025-07-03 12:34:08
IDJOB=4519432
IDBENCH=177254
IDSOLVER=3365
FILE ID=nodeC016/4519432-1751538847
RUNJOBID= nodeC016-1751529182-88316
SLURM_JOB_ID= 9598668
Free space on /tmp= 432764 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519432-1751538847/watcher-4519432-1751538847 -o /tmp/evaluation-result-4519432-1751538847/solver-4519432-1751538847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751529182-88316 --watchdog 3760 pbscip -f HOME/instance-4519432-1751538847.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8850f77d674f2f3b7ac0e06d3d8c373
RANDOM SEED=503880767
nodeC016 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.731
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.48
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.713
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.48
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 : 3600.700
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.48
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 : 3598.602
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.48
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.729
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.48
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 : 3579.225
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
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.48
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.730
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 105921672 kB
MemAvailable: 106150440 kB
Buffers: 2144 kB
Cached: 997100 kB
SwapCached: 28 kB
Active: 24201556 kB
Inactive: 377320 kB
Active(anon): 23592388 kB
Inactive(anon): 5288 kB
Active(file): 609168 kB
Inactive(file): 372032 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40824 kB
Writeback: 8 kB
AnonPages: 23581384 kB
Mapped: 138496 kB
Shmem: 18044 kB
KReclaimable: 173616 kB
Slab: 266316 kB
SReclaimable: 173616 kB
SUnreclaim: 92700 kB
KernelStack: 4272 kB
PageTables: 49492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 24734624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3516416 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432856 MiB
End job on nodeC016 at 2025-07-03 13:34:19