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-4542200-1753211691.opb>
1.48/1.53 c original problem has 1040520 variables (1040520 bin, 0 int, 0 impl, 0 cont) and 61390 constraints
1.48/1.53 c problem read in 1.53
1.48/1.54 c No objective function, only one solution is needed.
3.78/3.80 c presolving:
4.98/5.10 c (5.1s) running MILP presolver
6.16/6.28 c (6.3s) MILP presolver found nothing
7.07/7.14 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 34051 upgd conss, 0 impls, 27300 clqs
8.16/8.24 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61390 upgd conss, 0 impls, 27300 clqs
18.43/18.51 c (18.5s) probing: 51/1040520 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
18.43/18.51 c (18.5s) probing aborted: 50/50 successive totally useless probings
19.03/19.17 c (19.1s) 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 (62119 MiB free)
memory of node 1: 64507 MiB (63178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542200-1753211691/watcher-4542200-1753211691 -o /tmp/evaluation-result-4542200-1753211691/solver-4542200-1753211691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753209881-195252 --watchdog 3760 pbscip -f HOME/instance-4542200-1753211691.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=195581, runsolver pid=195578
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 8.06 8.08 7.54 6/261 195582
/proc/meminfo: memFree=128201128/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=123308 memory=94848 CPUtime=0.09 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 20770 0 0 0 6 3 0 0 20 0 1 0 236849425 126267392 23680 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 30827 23712 3232 3530 0 22278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 123308 KiB
Current children cumulated memory: 94848 KiB
[startup+0.205425 s]*
/proc/loadavg: 8.06 8.08 7.54 6/261 195582
/proc/meminfo: memFree=128095540/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=201556 memory=173056 CPUtime=0.19 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 40349 0 0 0 14 5 0 0 20 0 1 0 236849425 206393344 43264 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 50389 43264 3232 3530 0 41840 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 201556 KiB
Current children cumulated memory: 173056 KiB
[startup+0.305294 s]*
/proc/loadavg: 8.06 8.08 7.54 6/264 195587
/proc/meminfo: memFree=127991600/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=274084 memory=245504 CPUtime=0.29 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 58445 0 0 0 20 9 0 0 20 0 1 0 236849425 280662016 61376 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 68521 61376 3232 3530 0 59972 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 274084 KiB
Current children cumulated memory: 245504 KiB
[startup+0.700186 s]
/proc/loadavg: 8.06 8.08 7.54 6/266 195592
/proc/meminfo: memFree=127701760/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=541752 memory=513200 CPUtime=0.69 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 122806 0 0 0 48 21 0 0 20 0 1 0 236849425 554754048 128300 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 135438 128300 3232 3530 0 126889 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 541752 KiB
Current children cumulated memory: 513200 KiB
[startup+1.50018 s]
/proc/loadavg: 8.06 8.08 7.54 6/266 195592
/proc/meminfo: memFree=126943680/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=1102632 memory=1072700 CPUtime=1.48 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 257590 0 0 0 106 42 0 0 20 0 1 0 236849425 1129095168 268175 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 275658 268175 3232 3530 0 267109 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1102632 KiB
Current children cumulated memory: 1072700 KiB
[startup+3.10535 s]
/proc/loadavg: 8.06 8.08 7.54 6/266 195592
/proc/meminfo: memFree=123935880/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=2310984 memory=2282772 CPUtime=3.08 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 549696 0 0 0 221 87 0 0 20 0 1 0 236849425 2366447616 570693 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 577746 570693 3520 3530 0 569197 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2310984 KiB
Current children cumulated memory: 2282772 KiB
[startup+6.30019 s]
/proc/loadavg: 7.81 8.03 7.52 6/266 195592
/proc/meminfo: memFree=120549160/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=2936456 memory=2863672 CPUtime=6.27 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 671306 0 0 0 503 124 0 0 20 0 1 0 236849425 3006930944 715918 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 734114 715918 3680 3530 0 725565 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2936456 KiB
Current children cumulated memory: 2863672 KiB
[startup+12.7002 s]
/proc/loadavg: 7.59 7.98 7.51 6/266 195592
/proc/meminfo: memFree=116690252/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=3320844 memory=3200252 CPUtime=12.65 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 705124 0 0 0 1132 133 0 0 20 0 1 0 236849425 3400544256 800063 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 830211 800063 3744 3530 0 821662 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3320844 KiB
Current children cumulated memory: 3200252 KiB
[startup+25.5002 s]
/proc/loadavg: 7.01 7.83 7.47 6/266 195592
/proc/meminfo: memFree=114423048/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=4814848 memory=4156276 CPUtime=25.4 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 783293 0 0 0 2376 164 0 0 20 0 1 0 236849425 4930404352 1039069 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 1203712 1039069 3776 3530 0 1195163 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4814848 KiB
Current children cumulated memory: 4156276 KiB
[startup+51.1056 s]
/proc/loadavg: 6.40 7.62 7.41 6/266 195593
/proc/meminfo: memFree=112923372/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=6241088 memory=5582580 CPUtime=50.92 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 1139887 0 0 0 4830 262 0 0 20 0 1 0 236849425 6390874112 1395645 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 1560272 1395645 3776 3530 0 1551723 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 6241088 KiB
Current children cumulated memory: 5582580 KiB
[startup+102.3 s]
/proc/loadavg: 5.25 7.13 7.25 5/264 195639
/proc/meminfo: memFree=105630072/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=9041392 memory=8382836 CPUtime=101.93 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 1840006 0 0 0 9808 385 0 0 20 0 1 0 236849425 9258385408 2095709 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 2260348 2095709 3776 3530 0 2251799 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 9041392 KiB
Current children cumulated memory: 8382836 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 6.57 7.05 5/264 195641
/proc/meminfo: memFree=98845580/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12462680 memory=11824392 CPUtime=161.69 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2639128 0 0 0 15693 476 0 0 20 0 1 0 236849425 12761784320 2956098 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3115670 2956098 3776 3530 0 3107121 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 12462680 KiB
Current children cumulated memory: 11824392 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 6.13 6.87 5/264 195643
/proc/meminfo: memFree=95290848/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674040 memory=12136140 CPUtime=221.45 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2651181 0 0 0 21660 485 0 0 20 0 1 0 236849425 12978216960 3034035 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168510 3034035 3776 3530 0 3159961 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 12674040 KiB
Current children cumulated memory: 12136140 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 5.76 6.69 5/263 195645
/proc/meminfo: memFree=92062460/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674044 memory=12187344 CPUtime=281.2 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2651207 0 0 0 27634 486 0 0 20 0 1 0 236849425 12978221056 3046836 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168511 3046836 3776 3530 0 3159962 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 12674044 KiB
Current children cumulated memory: 12187344 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 5.45 6.52 5/264 195649
/proc/meminfo: memFree=88818092/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674044 memory=12226256 CPUtime=340.94 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2651229 0 0 0 33607 487 0 0 20 0 1 0 236849425 12978221056 3056564 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168511 3056564 3776 3530 0 3159962 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 12674044 KiB
Current children cumulated memory: 12226256 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 5.20 6.37 5/264 195651
/proc/meminfo: memFree=85624296/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674044 memory=12256976 CPUtime=400.69 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2651247 0 0 0 39581 488 0 0 20 0 1 0 236849425 12978221056 3064244 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168511 3064244 3776 3530 0 3159962 0
Current children cumulated CPU time: 400.69 s
Current children cumulated vsize: 12674044 KiB
Current children cumulated memory: 12256976 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 5.00 6.22 5/264 195697
/proc/meminfo: memFree=110391304/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674044 memory=12284752 CPUtime=460.46 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2651566 0 0 0 45558 488 0 0 20 0 1 0 236849425 12978221056 3071188 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168511 3071188 3776 3530 0 3159962 0
################
# More data... #
################
/proc/meminfo: memFree=104880648/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=2909.22 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652293 0 0 0 290411 511 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 2909.22 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+2982.3 s]
/proc/loadavg: 4.34 4.23 4.28 5/263 195820
/proc/meminfo: memFree=104864692/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=2968.95 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652295 0 0 0 296384 511 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 2968.95 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.20 4.26 5/264 195829
/proc/meminfo: memFree=104848256/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3028.67 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652297 0 0 0 302356 511 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3028.67 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.19 4.26 5/264 195831
/proc/meminfo: memFree=104865396/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3088.4 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652358 0 0 0 308328 512 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3088.4 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.17 4.25 5/263 195833
/proc/meminfo: memFree=104807476/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3148.13 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652362 0 0 0 314300 513 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3148.13 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.24 5/263 195835
/proc/meminfo: memFree=104807400/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3207.86 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652427 0 0 0 320272 514 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3207.86 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.23 5/263 195837
/proc/meminfo: memFree=104789336/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3267.58 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652429 0 0 0 326244 514 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3267.58 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.22 5/263 195839
/proc/meminfo: memFree=104807600/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3327.31 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652431 0 0 0 332217 514 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3327.31 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.21 5/263 195841
/proc/meminfo: memFree=104805560/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3387.03 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652431 0 0 0 338189 514 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3387.03 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.20 5/263 195843
/proc/meminfo: memFree=104806180/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3446.76 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652496 0 0 0 344161 515 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3446.76 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.19 5/263 195845
/proc/meminfo: memFree=104781348/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3506.48 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652498 0 0 0 350133 515 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3506.48 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.18 5/263 195847
/proc/meminfo: memFree=104691464/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3566.21 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652500 0 0 0 356106 515 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3566.21 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.3 s]
/proc/loadavg: 4.11 4.11 4.18 5/263 195893
/proc/meminfo: memFree=105765852/131250000 swapFree=33008868/33010684
[pid=195581] ppid=195578 vsize=12674052 memory=12320080 CPUtime=3600.05 cores=1,3
/proc/195581/stat : 195581 (pbscip) R 195578 195581 195240 0 -1 4194304 2652500 0 0 0 359490 515 0 0 20 0 1 0 236849425 12978229248 3080020 18446744073709551615 4235264 18693293 140722007586688 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31014912 140722007591303 140722007591402 140722007591402 140722007597006 0
/proc/195581/statm: 3168513 3080020 3776 3530 0 3159964 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 12674052 KiB
Current children cumulated memory: 12320080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.55 s]
# the end of solver process 195581 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3594.91 s, system=5.40991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3616.4 s]*
/proc/loadavg: 4.11 4.11 4.18 5/263 195893
/proc/meminfo: memFree=113158996/131250000 swapFree=33008868/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3616.51 s]
/proc/loadavg: 4.11 4.11 4.18 5/263 195893
/proc/meminfo: memFree=113158996/131250000 swapFree=33008868/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): 3616.55
CPU time (s): 3600.32
CPU user time (s): 3594.91
CPU system time (s): 5.40991
CPU usage (%): 99.5511
Max. virtual memory (cumulated for all children) (KiB): 12674052
Max. memory (cumulated for all children) (KiB): 12320080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.91
system time used= 5.40991
maximum resident set size= 12320080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2652500
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= 83
involuntary context switches= 4973
# summary of solver processes directly reported to runsolver:
# pid: 195581
# total CPU time (s): 3600.32
# total CPU user time (s): 3594.91
# total CPU system time (s): 5.40991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96971 second user time and 16.5654 second system time
The end
Begin job on nodeC013 at 2025-07-22 21:14:52
IDJOB=4542200
IDBENCH=163905
IDSOLVER=3365
FILE ID=nodeC013/4542200-1753211691
RUNJOBID= nodeC013-1753209881-195252
SLURM_JOB_ID= 9687772
Free space on /tmp= 432916 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542200-1753211691/watcher-4542200-1753211691 -o /tmp/evaluation-result-4542200-1753211691/solver-4542200-1753211691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753209881-195252 --watchdog 3760 pbscip -f HOME/instance-4542200-1753211691.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=684873033
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.803
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 : 3672.324
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 : 3597.781
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.828
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.782
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.571
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 : 3599.832
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 : 3600.398
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128313440 kB
MemAvailable: 129482308 kB
Buffers: 1668 kB
Cached: 1909788 kB
SwapCached: 52 kB
Active: 1124044 kB
Inactive: 1051828 kB
Active(anon): 280968 kB
Inactive(anon): 4872 kB
Active(file): 843076 kB
Inactive(file): 1046956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 116400 kB
Writeback: 3076 kB
AnonPages: 267504 kB
Mapped: 123792 kB
Shmem: 21424 kB
KReclaimable: 235748 kB
Slab: 332392 kB
SReclaimable: 235748 kB
SUnreclaim: 96644 kB
KernelStack: 4256 kB
PageTables: 3532 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 606108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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= 432924 MiB
End job on nodeC013 at 2025-07-22 22:15:08