1281.46/728.03 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1281.46/728.03 c numVar: 48411
1281.46/728.03 c numCon: 1121517
1281.46/728.03 c numEqual: 1773
1281.46/728.03 c intSize: 10
1281.46/728.03 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1281.46/728.03 c ------------------- Paras list -------------------
1281.46/728.03 c Name Type Now Default Comment
1281.46/728.03 c timeout double 3600.000000 3600
1281.46/728.03 c mip_time double 0.200000 0.5
1281.46/728.03 c ls_time double 10.000000 10
1281.46/728.03 c safe_mode int 1 1 1 trust; 2 feasible
1281.46/728.03 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1281.46/728.03 c random_seed int 0 0
1281.46/728.03 c sample_size int 50 50
1281.46/728.03 c sub_score int 1 1
1281.46/728.03 c tabu_base int 3 3
1281.46/728.03 c tabu_variation int 1 1
1281.46/728.03 c sub_div int 4 4
1281.46/728.03 c nbcore int 2 1
1281.46/728.03 c memlimit int 31000 31744 memory limit in megabytes
1281.46/728.03 c print_sol int 1 1
1281.46/728.03 c tmpdir string . "."
1281.46/728.03 c home string HOME "."
1281.46/728.03 c benchname string HOME/instance-4527015-1752234027.opb ""
1281.46/728.03 c --------------------------------------------------
1281.46/728.03 c Local Search solver
1281.46/728.03 c MIP solver
1281.46/728.03 c use Exact solver
3600.02/3053.80 c receive signal 15, try to interrupt solver...
1281.49/3053.91 c Exact solver (PID 108481) interrupted gracefully.
3600.82/3054.71 s UNKNOWN
3600.82/3054.71 c Total time: 3055
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 (59681 MiB free)
memory of node 1: 64507 MiB (57048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527015-1752234027/watcher-4527015-1752234027 -o /tmp/evaluation-result-4527015-1752234027/solver-4527015-1752234027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752232205-108023 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527015-1752234027.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Starting watchdog thread
solver pid=108251, runsolver pid=108248
Current StackSize limit: 8192 KiB
[startup+0.100054 s]*
/proc/loadavg: 7.83 8.02 6.99 6/266 108252
/proc/meminfo: memFree=119531668/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=36504 memory=256 CPUtime=0 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) D 108248 108251 108004 0 -1 4456448 68 0 0 0 0 0 0 0 20 0 1 0 139082692 37380096 64 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 9126 64 64 6655 0 164 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 36504 KiB
Current children cumulated memory: 256 KiB
[startup+0.205285 s]*
/proc/loadavg: 7.83 8.02 6.99 7/266 108252
/proc/meminfo: memFree=119398672/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=228284 memory=152792 CPUtime=0.06 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 27995 0 0 0 2 4 0 0 20 0 1 0 139082692 233762816 38198 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 57071 38198 1152 6655 0 47306 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 228284 KiB
Current children cumulated memory: 152792 KiB
[startup+0.305539 s]*
/proc/loadavg: 7.83 8.02 6.99 7/266 108252
/proc/meminfo: memFree=119253008/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=328340 memory=285528 CPUtime=0.16 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 53523 0 0 0 8 8 0 0 20 0 1 0 139082692 336220160 71382 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 82085 71382 1152 6655 0 72320 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 328340 KiB
Current children cumulated memory: 285528 KiB
[startup+0.70018 s]
/proc/loadavg: 7.83 8.02 6.99 7/266 108252
/proc/meminfo: memFree=119217408/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=464472 memory=429188 CPUtime=0.56 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 78191 0 0 0 42 14 0 0 20 0 1 0 139082692 475619328 107297 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 116118 107297 1152 6655 0 106353 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 464472 KiB
Current children cumulated memory: 429188 KiB
[startup+1.50018 s]
/proc/loadavg: 7.83 8.02 6.99 7/266 108252
/proc/meminfo: memFree=118987144/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=730132 memory=691844 CPUtime=1.35 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 143864 0 0 0 111 24 0 0 20 0 1 0 139082692 747655168 172961 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 182533 172961 1152 6655 0 172768 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 730132 KiB
Current children cumulated memory: 691844 KiB
[startup+3.10528 s]
/proc/loadavg: 7.77 8.00 6.99 6/266 108253
/proc/meminfo: memFree=118445900/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=834620 memory=796292 CPUtime=2.96 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 169972 0 0 0 268 28 0 0 20 0 1 0 139082692 854650880 199073 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 208655 199073 1152 6655 0 198890 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 834620 KiB
Current children cumulated memory: 796292 KiB
[startup+6.30017 s]
/proc/loadavg: 7.77 8.00 6.99 5/261 108261
/proc/meminfo: memFree=119525460/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=834620 memory=796292 CPUtime=6.14 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 170027 0 0 0 586 28 0 0 20 0 1 0 139082692 854650880 199073 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 208655 199073 1152 6655 0 198890 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 834620 KiB
Current children cumulated memory: 796292 KiB
[startup+12.7002 s]
/proc/loadavg: 7.42 7.92 6.98 5/262 108292
/proc/meminfo: memFree=118784480/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=1809300 memory=1685716 CPUtime=12.52 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 271518 0 0 0 1198 54 0 0 20 0 2 0 139082692 1852723200 421429 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 452325 421429 2752 6655 0 426208 0
[pid=108251/tid=108290] ppid=108248 vsize=1809300 memory=1600472 CPUtime=0 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) S 108248 108251 108004 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139083852 1852723200 421429 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 1809300 KiB
Current children cumulated memory: 1685716 KiB
[startup+25.5002 s]
/proc/loadavg: 7.05 7.82 6.96 7/267 108355
/proc/meminfo: memFree=117942620/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=2232580 memory=2116260 CPUtime=25.34 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 340479 0 0 0 2456 78 0 0 20 0 2 0 139082692 2286161920 529065 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 558145 529065 2912 6655 0 543635 0
[pid=108251/tid=108290] ppid=108248 vsize=2232580 memory=1894752 CPUtime=0.05 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) S 108248 108251 108004 0 -1 4194368 6014 0 0 0 3 2 0 0 20 0 2 0 139083852 2286161920 529065 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 2232580 KiB
Current children cumulated memory: 2116260 KiB
[startup+51.1055 s]
/proc/loadavg: 6.62 7.66 6.92 6/267 108448
/proc/meminfo: memFree=121274016/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3588468 memory=3139716 CPUtime=60.65 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 436285 0 0 0 5944 121 0 0 20 0 2 0 139082692 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 897117 784929 3296 6655 0 882388 0
[pid=108251/tid=108290] ppid=108248 vsize=3588468 memory=3128836 CPUtime=21.63 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 42626 0 0 0 2147 16 0 0 20 0 2 0 139083852 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 60.65 s
Current children cumulated vsize: 3588468 KiB
Current children cumulated memory: 3139716 KiB
[startup+102.3 s]
/proc/loadavg: 6.70 7.49 6.91 8/267 108450
/proc/meminfo: memFree=120916516/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3588468 memory=3139716 CPUtime=111.64 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 439296 0 0 0 11042 122 0 0 20 0 2 0 139082692 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 897117 784929 3296 6655 0 882388 0
[pid=108251/tid=108290] ppid=108248 vsize=3588468 memory=14720 CPUtime=72.62 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 45637 0 0 0 7246 16 0 0 20 0 2 0 139083852 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 111.64 s
Current children cumulated vsize: 3588468 KiB
Current children cumulated memory: 3139716 KiB
[startup+162.3 s]
/proc/loadavg: 6.93 7.41 6.92 7/267 108452
/proc/meminfo: memFree=120865520/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3588468 memory=3139716 CPUtime=171.4 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 444171 0 0 0 17017 123 0 0 20 0 2 0 139082692 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 897117 784929 3296 6655 0 882388 0
[pid=108251/tid=108290] ppid=108248 vsize=3588468 memory=3139716 CPUtime=132.37 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 50512 0 0 0 13220 17 0 0 20 0 2 0 139083852 3674591232 784929 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 171.4 s
Current children cumulated vsize: 3588468 KiB
Current children cumulated memory: 3139716 KiB
[startup+222.3 s]
/proc/loadavg: 7.54 7.48 6.97 9/267 108455
/proc/meminfo: memFree=119308952/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=4538956 memory=4048516 CPUtime=279.08 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 563762 0 0 0 27747 161 0 0 20 0 2 0 139082692 4647890944 1012129 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 1134739 1012129 3296 6655 0 1110869 0
[pid=108251/tid=108290] ppid=108248 vsize=4538956 memory=4048516 CPUtime=191.78 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 97394 0 0 0 19143 35 0 0 20 0 2 0 139083852 4647890944 1012129 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 279.08 s
Current children cumulated vsize: 4538956 KiB
Current children cumulated memory: 4048516 KiB
[startup+282.3 s]
/proc/loadavg: 7.83 7.58 7.04 9/267 108457
/proc/meminfo: memFree=119333560/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=4364952 memory=3976824 CPUtime=398.01 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 629269 0 0 0 39620 181 0 0 20 0 2 0 139082692 4469710848 994206 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 1091238 994206 3296 6655 0 1069441 0
[pid=108251/tid=108290] ppid=108248 vsize=4364952 memory=4057652 CPUtime=251.49 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 121908 0 0 0 25102 47 0 0 20 0 2 0 139083852 4469710848 994206 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 398.01 s
Current children cumulated vsize: 4364952 KiB
Current children cumulated memory: 3976824 KiB
[startup+342.3 s]
/proc/loadavg: 8.04 7.69 7.12 9/266 108459
/proc/meminfo: memFree=118768768/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=4908012 memory=4556008 CPUtime=516.9 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 763722 0 0 0 51441 249 0 0 20 0 2 0 139082692 5025804288 1139002 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 1227003 1139002 3360 6655 0 1208670 0
[pid=108251/tid=108290] ppid=108248 vsize=4908012 memory=4057652 CPUtime=311.18 cores=1,3
/proc/108251/task/108290/stat : 108290 (LSIPExact) R 108248 108251 108004 0 -1 4194368 144662 0 0 0 31063 55 0 0 20 0 2 0 139083852 5025804288 1139002 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
Current children cumulated CPU time: 516.9 s
Current children cumulated vsize: 4908012 KiB
Current children cumulated memory: 4556008 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1524996 memory=1456420 CPUtime=1888.17 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 185279 0 0 0 188689 128 0 0 20 0 1 0 139155495 1561595904 364105 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 381249 364105 1120 1011 0 380016 0
Current children cumulated CPU time: 3169.66 s
Current children cumulated vsize: 4699508 KiB
Current children cumulated memory: 4539468 KiB
[startup+2682.3 s]
/proc/loadavg: 4.12 4.53 5.16 5/260 109074
/proc/meminfo: memFree=122384796/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1525792 memory=1457216 CPUtime=1948 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 186888 0 0 0 194671 129 0 0 20 0 1 0 139155495 1562411008 364304 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 381448 364304 1120 1011 0 380215 0
Current children cumulated CPU time: 3229.49 s
Current children cumulated vsize: 4700304 KiB
Current children cumulated memory: 4540264 KiB
[startup+2742.3 s]
/proc/loadavg: 4.16 4.46 5.10 5/260 109076
/proc/meminfo: memFree=122335696/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1527520 memory=1458944 CPUtime=2007.83 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 188586 0 0 0 200653 130 0 0 20 0 1 0 139155495 1564180480 364736 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 381880 364736 1120 1011 0 380647 0
Current children cumulated CPU time: 3289.32 s
Current children cumulated vsize: 4702032 KiB
Current children cumulated memory: 4541992 KiB
[startup+2802.3 s]
/proc/loadavg: 4.12 4.39 5.03 5/260 109078
/proc/meminfo: memFree=122332480/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1528452 memory=1462180 CPUtime=2067.68 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 190059 0 0 0 206636 132 0 0 20 0 1 0 139155495 1565134848 365545 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 382113 365545 1120 1011 0 380880 0
Current children cumulated CPU time: 3349.17 s
Current children cumulated vsize: 4702964 KiB
Current children cumulated memory: 4545228 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.33 4.97 5/259 109080
/proc/meminfo: memFree=122338472/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1529632 memory=1463360 CPUtime=2127.52 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 191772 0 0 0 212619 133 0 0 20 0 1 0 139155495 1566343168 365840 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 382408 365840 1120 1011 0 381175 0
Current children cumulated CPU time: 3409.01 s
Current children cumulated vsize: 4704144 KiB
Current children cumulated memory: 4546408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.30 4.92 5/259 109082
/proc/meminfo: memFree=122355888/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1530568 memory=1464296 CPUtime=2187.36 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 193338 0 0 0 218601 135 0 0 20 0 1 0 139155495 1567301632 366074 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 382642 366074 1120 1011 0 381409 0
Current children cumulated CPU time: 3468.85 s
Current children cumulated vsize: 4705080 KiB
Current children cumulated memory: 4547344 KiB
[startup+2982.3 s]
/proc/loadavg: 3.83 4.19 4.84 4/252 109116
/proc/meminfo: memFree=123037712/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1532872 memory=1468648 CPUtime=2247.22 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 195722 0 0 0 224584 138 0 0 20 0 1 0 139155495 1569660928 367162 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 383218 367162 1120 1011 0 381985 0
Current children cumulated CPU time: 3528.71 s
Current children cumulated vsize: 4707384 KiB
Current children cumulated memory: 4551696 KiB
[startup+3042.3 s]
/proc/loadavg: 3.34 3.99 4.73 4/252 109118
/proc/meminfo: memFree=123019080/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1533492 memory=1469268 CPUtime=2307.06 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 196657 0 0 0 230568 138 0 0 20 0 1 0 139155495 1570295808 367317 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 383373 367317 1120 1011 0 382140 0
Current children cumulated CPU time: 3588.55 s
Current children cumulated vsize: 4708004 KiB
Current children cumulated memory: 4552316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3053.8 s]
/proc/loadavg: 3.36 3.97 4.72 4/252 109118
/proc/meminfo: memFree=123016276/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3174512 memory=3083048 CPUtime=1281.49 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) S 108248 108251 108004 0 -1 4194304 1285028 0 0 0 127692 457 0 0 20 0 1 0 139082692 3250700288 770762 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 793628 770762 3392 6655 0 777994 0
[pid=108481] ppid=108251 vsize=1534224 memory=1474096 CPUtime=2318.53 cores=1,3
/proc/108481/stat : 108481 (Exact) R 108251 108481 108481 0 -1 4194304 197375 0 0 0 231714 139 0 0 20 0 1 0 139155495 1571045376 368524 18446744073709551615 4198400 8335837 140724573480912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 17465344 140724573489337 140724573489691 140724573489691 140724573495247 0
/proc/108481/statm: 383556 368524 1120 1011 0 382323 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4708736 KiB
Current children cumulated memory: 4557144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3054.77 s]
# the end of solver process 108251 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.8 s, system=6.11059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3054.4 s]
/proc/loadavg: 3.36 3.97 4.72 4/251 109119
/proc/meminfo: memFree=124510460/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3148224 memory=3056764 CPUtime=3600.52 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 1348965 197512 0 0 127737 460 231715 140 20 0 1 0 139082692 3223781376 764191 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 787056 764191 3392 6655 0 771422 0
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 3148224 KiB
Current children cumulated memory: 3056764 KiB
[startup+3054.6 s]
/proc/loadavg: 3.36 3.97 4.72 4/251 109119
/proc/meminfo: memFree=124510460/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3130696 memory=3039236 CPUtime=3600.72 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 1393267 197512 0 0 127755 462 231715 140 20 0 1 0 139082692 3205832704 759809 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 782674 759809 3392 6655 0 767040 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 3130696 KiB
Current children cumulated memory: 3039236 KiB
[startup+3054.7 s]
/proc/loadavg: 3.36 3.97 4.72 4/251 109119
/proc/meminfo: memFree=124510460/131250000 swapFree=33010416/33010684
[pid=108251] ppid=108248 vsize=3121932 memory=3030472 CPUtime=3600.82 cores=1,3
/proc/108251/stat : 108251 (LSIPExact) R 108248 108251 108004 0 -1 4194304 1438999 197512 0 0 127763 464 231715 140 20 0 1 0 139082692 3196858368 757618 18446744073709551615 94106487037952 94106514295121 140722513496480 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94106522797192 94106523228800 94106523648000 140722513504600 140722513504776 140722513504776 140722513510380 0
/proc/108251/statm: 780483 757618 3392 6655 0 764849 0
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 3121932 KiB
Current children cumulated memory: 3030472 KiB
Child status: 0
Real time (s): 3054.77
CPU time (s): 3600.92
CPU user time (s): 3594.8
CPU system time (s): 6.11059
CPU usage (%): 117.878
Max. virtual memory (cumulated for all children) (KiB): 5391064
Max. memory (cumulated for all children) (KiB): 5040612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.8
system time used= 6.11059
maximum resident set size= 5040612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1644277
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= 530
involuntary context switches= 28734
# summary of solver processes directly reported to runsolver:
# pid: 108251
# total CPU time (s): 3600.92
# total CPU user time (s): 3594.8
# total CPU system time (s): 6.11059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16202 second user time and 14.6051 second system time
The end
Begin job on nodeC027 at 2025-07-11 13:40:27
IDJOB=4527015
IDBENCH=155522
IDSOLVER=3384
FILE ID=nodeC027/4527015-1752234027
RUNJOBID= nodeC027-1752232205-108023
SLURM_JOB_ID= 9682538
Free space on /tmp= 430984 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527015-1752234027/watcher-4527015-1752234027 -o /tmp/evaluation-result-4527015-1752234027/solver-4527015-1752234027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752232205-108023 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527015-1752234027.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=1101230875
nodeC027 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.964
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.29
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.653
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.29
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 : 3599.775
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.29
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.554
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.29
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.482
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.29
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.637
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.29
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 : 3598.340
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.29
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.632
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119531360 kB
MemAvailable: 121462960 kB
Buffers: 2488 kB
Cached: 2724496 kB
SwapCached: 12 kB
Active: 8886628 kB
Inactive: 2163996 kB
Active(anon): 8338904 kB
Inactive(anon): 2792 kB
Active(file): 547724 kB
Inactive(file): 2161204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94340 kB
Writeback: 4 kB
AnonPages: 8326736 kB
Mapped: 142260 kB
Shmem: 18056 kB
KReclaimable: 123424 kB
Slab: 215340 kB
SReclaimable: 123424 kB
SUnreclaim: 91916 kB
KernelStack: 4288 kB
PageTables: 19596 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8870396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5615616 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431044 MiB
End job on nodeC027 at 2025-07-11 14:31:23