16.78/15.83 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
16.78/15.83 c numVar: 256710
16.78/15.83 c numCon: 5551
16.78/15.83 c numEqual: 0
16.78/15.83 c intSize: 7
16.78/15.83 c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
16.78/15.83 c ------------------- Paras list -------------------
16.78/15.83 c Name Type Now Default Comment
16.78/15.83 c timeout double 3600.000000 3600
16.78/15.83 c mip_time double 0.300000 0.5
16.78/15.83 c ls_time double 10.000000 10
16.78/15.83 c safe_mode int 2 2 1 trust; 2 feasible
16.78/15.83 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
16.78/15.83 c random_seed int 0 0
16.78/15.83 c sample_size int 50 50
16.78/15.83 c sub_score int 1 1
16.78/15.83 c tabu_base int 3 3
16.78/15.83 c tabu_variation int 1 1
16.78/15.83 c sub_div int 4 4
16.78/15.83 c nbcore int 2 1
16.78/15.83 c memlimit int 31000 31744 memory limit in megabytes
16.78/15.83 c print_sol int 1 1
16.78/15.83 c tmpdir string . "."
16.78/15.83 c home string HOME "."
16.78/15.83 c benchname string HOME/instance-4543781-1753222485.opb ""
16.78/15.83 c --------------------------------------------------
16.78/15.83 c Local Search solver
16.78/15.83 c MIP solver
16.78/15.83 c MIP solver infeasible
16.78/15.85 c use Exact solver
30.24/29.37 c Exact infeasible
30.33/29.46 s UNSATISFIABLE
30.33/29.46 c Total time: 30
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 (38138 MiB free)
memory of node 1: 64507 MiB (63094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543781-1753222485/watcher-4543781-1753222485 -o /tmp/evaluation-result-4543781-1753222485/solver-4543781-1753222485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753221348-164112 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4543781-1753222485.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=164533, runsolver pid=164530
[startup+0.100066 s]*
/proc/loadavg: 5.35 6.55 5.68 5/267 164534
/proc/meminfo: memFree=103586580/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=141920 memory=107436 CPUtime=0.09 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 18674 0 0 0 6 3 0 0 20 0 1 0 237926356 145326080 26859 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 35480 26859 1184 6655 0 25715 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 141920 KiB
Current children cumulated memory: 107436 KiB
[startup+0.205621 s]*
/proc/loadavg: 5.35 6.55 5.68 5/267 164534
/proc/meminfo: memFree=103523076/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=200660 memory=166060 CPUtime=0.19 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 33332 0 0 0 14 5 0 0 20 0 1 0 237926356 205475840 41515 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 50165 41515 1184 6655 0 40400 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 200660 KiB
Current children cumulated memory: 166060 KiB
[startup+0.305513 s]*
/proc/loadavg: 5.35 6.55 5.68 5/267 164534
/proc/meminfo: memFree=103531824/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=205940 memory=171308 CPUtime=0.28 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 34659 0 0 0 23 5 0 0 20 0 1 0 237926356 210882560 42827 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 51485 42827 1184 6655 0 41720 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 205940 KiB
Current children cumulated memory: 171308 KiB
[startup+0.700208 s]
/proc/loadavg: 5.35 6.55 5.68 5/267 164534
/proc/meminfo: memFree=103532076/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=205940 memory=171308 CPUtime=0.67 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 34659 0 0 0 62 5 0 0 20 0 1 0 237926356 210882560 42827 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 51485 42827 1184 6655 0 41720 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 205940 KiB
Current children cumulated memory: 171308 KiB
[startup+1.50019 s]
/proc/loadavg: 5.35 6.55 5.68 5/267 164534
/proc/meminfo: memFree=103532076/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=205940 memory=171308 CPUtime=1.47 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 34659 0 0 0 142 5 0 0 20 0 1 0 237926356 210882560 42827 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 51485 42827 1184 6655 0 41720 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 205940 KiB
Current children cumulated memory: 171308 KiB
[startup+3.10541 s]
/proc/loadavg: 5.32 6.52 5.68 5/267 164534
/proc/meminfo: memFree=103537236/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=205940 memory=171308 CPUtime=3.07 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 34673 0 0 0 302 5 0 0 20 0 1 0 237926356 210882560 42827 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 51485 42827 1184 6655 0 41720 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 205940 KiB
Current children cumulated memory: 171308 KiB
[startup+6.30018 s]
/proc/loadavg: 5.32 6.52 5.68 5/267 164534
/proc/meminfo: memFree=103554184/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=205940 memory=171308 CPUtime=6.26 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 34687 0 0 0 621 5 0 0 20 0 1 0 237926356 210882560 42827 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 51485 42827 1184 6655 0 41720 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205940 KiB
Current children cumulated memory: 171308 KiB
[startup+12.7002 s]
/proc/loadavg: 5.30 6.50 5.68 5/268 164536
/proc/meminfo: memFree=103261292/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=598800 memory=431128 CPUtime=12.64 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 102589 0 0 0 1247 17 0 0 20 0 2 0 237926356 613171200 107782 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 149700 107782 2976 6655 0 123583 0
[pid=164533/tid=164536] ppid=164530 vsize=598800 memory=14536 CPUtime=0 cores=5,7
/proc/164533/task/164536/stat : 164536 (LSIPExact) S 164530 164533 164099 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 237927375 613171200 107782 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 598800 KiB
Current children cumulated memory: 431128 KiB
[startup+25.5002 s]
/proc/loadavg: 5.38 6.46 5.68 5/268 164537
/proc/meminfo: memFree=100395220/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=16.86 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) S 164530 164533 164099 0 -1 4194304 176949 0 0 0 1654 32 0 0 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
[pid=164537] ppid=164533 vsize=2909428 memory=2563604 CPUtime=9.59 cores=5,7
/proc/164537/stat : 164537 (Exact) R 164533 164537 164537 0 -1 4194304 403378 0 0 0 853 106 0 0 20 0 1 0 237927941 2979254272 640901 18446744073709551615 4198400 8335837 140723689701072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28618752 140723689707705 140723689708059 140723689708059 140723689713615 0
/proc/164537/statm: 727357 640901 1088 1011 0 726124 0
Current children cumulated CPU time: 26.45 s
Current children cumulated vsize: 3645936 KiB
Current children cumulated memory: 3159828 KiB
[startup+29.4865 s]
# the end of solver process 164533 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=28.9554 s, system=1.48936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 5.38 6.46 5.68 5/268 164537
/proc/meminfo: memFree=100395220/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=16.86 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) S 164530 164533 164099 0 -1 4194304 176949 0 0 0 1654 32 0 0 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
[pid=164537] ppid=164533 vsize=2909428 memory=2563604 CPUtime=9.69 cores=5,7
/proc/164537/stat : 164537 (Exact) R 164533 164537 164537 0 -1 4194304 403378 0 0 0 863 106 0 0 20 0 1 0 237927941 2979254272 640901 18446744073709551615 4198400 8335837 140723689701072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28618752 140723689707705 140723689708059 140723689708059 140723689713615 0
/proc/164537/statm: 727357 640901 1088 1011 0 726124 0
Current children cumulated CPU time: 26.55 s
Current children cumulated vsize: 3645936 KiB
Current children cumulated memory: 3159828 KiB
[startup+27.2002 s]
/proc/loadavg: 5.38 6.46 5.68 5/268 164538
/proc/meminfo: memFree=100391376/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=16.86 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) S 164530 164533 164099 0 -1 4194304 176949 0 0 0 1654 32 0 0 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
[pid=164537] ppid=164533 vsize=2915684 memory=2579824 CPUtime=11.29 cores=5,7
/proc/164537/stat : 164537 (Exact) R 164533 164537 164537 0 -1 4194304 404915 0 0 0 1023 106 0 0 20 0 1 0 237927941 2985660416 644956 18446744073709551615 4198400 8335837 140723689701072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28618752 140723689707705 140723689708059 140723689708059 140723689713615 0
/proc/164537/statm: 728921 644956 1088 1011 0 727688 0
Current children cumulated CPU time: 28.15 s
Current children cumulated vsize: 3652192 KiB
Current children cumulated memory: 3176048 KiB
[startup+28.8002 s]
/proc/loadavg: 5.35 6.43 5.67 5/268 164538
/proc/meminfo: memFree=100383564/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=16.86 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) S 164530 164533 164099 0 -1 4194304 176949 0 0 0 1654 32 0 0 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
[pid=164537] ppid=164533 vsize=1796404 memory=1764932 CPUtime=12.88 cores=5,7
/proc/164537/stat : 164537 (Exact) R 164533 164537 164537 0 -1 4194304 406544 0 0 0 1181 107 0 0 20 0 1 0 237927941 1839517696 441233 18446744073709551615 4198400 8335837 140723689701072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28618752 140723689707705 140723689708059 140723689708059 140723689713615 0
/proc/164537/statm: 449101 441233 1120 1011 0 447868 0
Current children cumulated CPU time: 29.74 s
Current children cumulated vsize: 2532912 KiB
Current children cumulated memory: 2361156 KiB
[startup+29.2002 s]
/proc/loadavg: 5.35 6.43 5.67 5/268 164538
/proc/meminfo: memFree=101001048/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=16.86 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) S 164530 164533 164099 0 -1 4194304 176949 0 0 0 1654 32 0 0 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
[pid=164537] ppid=164533 vsize=1796404 memory=1764932 CPUtime=13.28 cores=5,7
/proc/164537/stat : 164537 (Exact) R 164533 164537 164537 0 -1 4194304 406544 0 0 0 1221 107 0 0 20 0 1 0 237927941 1839517696 441233 18446744073709551615 4198400 8335837 140723689701072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28618752 140723689707705 140723689708059 140723689708059 140723689713615 0
/proc/164537/statm: 449101 441233 1120 1011 0 447868 0
Current children cumulated CPU time: 30.14 s
Current children cumulated vsize: 2532912 KiB
Current children cumulated memory: 2361156 KiB
[startup+29.4002 s]
/proc/loadavg: 5.35 6.43 5.67 5/268 164538
/proc/meminfo: memFree=101001048/131250000 swapFree=33010416/33010684
[pid=164533] ppid=164530 vsize=736508 memory=596224 CPUtime=30.33 cores=5,7
/proc/164533/stat : 164533 (LSIPExact) R 164530 164533 164099 0 -1 4194304 190577 406549 0 0 1655 33 1233 112 20 0 1 0 237926356 754184192 149056 18446744073709551615 94362431590400 94362458846801 140720320324384 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94362467349640 94362467781248 94362473508864 140720320330072 140720320330248 140720320330248 140720320335852 0
/proc/164533/statm: 184127 149056 3296 6655 0 174286 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 736508 KiB
Current children cumulated memory: 596224 KiB
Child status: 0
Real time (s): 29.4866
CPU time (s): 30.4448
CPU user time (s): 28.9554
CPU system time (s): 1.48936
CPU usage (%): 103.25
Max. virtual memory (cumulated for all children) (KiB): 3843160
Max. memory (cumulated for all children) (KiB): 3216188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9554
system time used= 1.48937
maximum resident set size= 2708028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612721
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= 288
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 164533
# total CPU time (s): 30.4448
# total CPU user time (s): 28.9554
# total CPU system time (s): 1.48936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082116 second user time and 0.148313 second system time
The end
Begin job on nodeC018 at 2025-07-23 00:14:45
IDJOB=4543781
IDBENCH=174610
IDSOLVER=3337
FILE ID=nodeC018/4543781-1753222485
RUNJOBID= nodeC018-1753221348-164112
SLURM_JOB_ID= 9687810
Free space on /tmp= 432816 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_30_092.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543781-1753222485/watcher-4543781-1753222485 -o /tmp/evaluation-result-4543781-1753222485/solver-4543781-1753222485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753221348-164112 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4543781-1753222485.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c5515a98844bb1e4abadd55fcb10579
RANDOM SEED=473132509
nodeC018 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.927
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.66
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.825
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.66
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.785
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.66
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 : 3600.731
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.66
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.838
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.66
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.239
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.66
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 : 3564.496
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.66
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.828
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 103663192 kB
MemAvailable: 104510364 kB
Buffers: 2128 kB
Cached: 1597844 kB
SwapCached: 28 kB
Active: 25813268 kB
Inactive: 519616 kB
Active(anon): 24758868 kB
Inactive(anon): 284 kB
Active(file): 1054400 kB
Inactive(file): 519332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49984 kB
Writeback: 0 kB
AnonPages: 24718248 kB
Mapped: 157864 kB
Shmem: 26240 kB
KReclaimable: 224956 kB
Slab: 320868 kB
SReclaimable: 224956 kB
SUnreclaim: 95912 kB
KernelStack: 4304 kB
PageTables: 52180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 27055556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13578240 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= 432772 MiB
End job on nodeC018 at 2025-07-23 00:15:15