1428.15/726.77 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1428.15/726.77 c numVar: 15414
1428.15/726.77 c numCon: 395824
1428.15/726.77 c numEqual: 465
1428.15/726.77 c intSize: 9
1428.15/726.77 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1428.15/726.77 c ------------------- Paras list -------------------
1428.15/726.77 c Name Type Now Default Comment
1428.15/726.77 c timeout double 3600.000000 3600
1428.15/726.77 c mip_time double 0.200000 0.5
1428.15/726.77 c ls_time double 10.000000 10
1428.15/726.77 c safe_mode int 1 1 1 trust; 2 feasible
1428.15/726.77 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1428.15/726.77 c random_seed int 0 0
1428.15/726.77 c sample_size int 50 50
1428.15/726.77 c sub_score int 1 1
1428.15/726.77 c tabu_base int 3 3
1428.15/726.77 c tabu_variation int 1 1
1428.15/726.77 c sub_div int 4 4
1428.15/726.77 c nbcore int 2 1
1428.15/726.77 c memlimit int 31000 31744 memory limit in megabytes
1428.15/726.77 c print_sol int 1 1
1428.15/726.77 c tmpdir string . "."
1428.15/726.77 c home string HOME "."
1428.15/726.77 c benchname string HOME/instance-4527021-1752233456.opb ""
1428.15/726.77 c --------------------------------------------------
1428.15/726.77 c Local Search solver
1428.15/726.77 c MIP solver
1428.15/726.77 c use Exact solver
3600.08/2905.60 c receive signal 15, try to interrupt solver...
1428.23/2905.71 c Exact solver (PID 111633) interrupted gracefully.
3600.29/2905.94 s UNKNOWN
3600.29/2905.94 c Total time: 2906
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61871 MiB free)
memory of node 1: 64465 MiB (60690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527021-1752233456/watcher-4527021-1752233456 -o /tmp/evaluation-result-4527021-1752233456/solver-4527021-1752233456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752232205-110737 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527021-1752233456.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=111502, runsolver pid=111499
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125418972/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=146892 memory=103980 CPUtime=0.09 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 19413 0 0 0 6 3 0 0 20 0 1 0 139023187 150417408 25995 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 36723 25995 1120 6655 0 26958 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 146892 KiB
Current children cumulated memory: 103980 KiB
[startup+0.205673 s]*
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125367372/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=191624 memory=157012 CPUtime=0.19 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 30086 0 0 0 14 5 0 0 20 0 1 0 139023187 196222976 39253 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 47906 39253 1152 6655 0 38141 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 191624 KiB
Current children cumulated memory: 157012 KiB
[startup+0.305532 s]*
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125327052/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=229516 memory=194644 CPUtime=0.3 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 39490 0 0 0 23 7 0 0 20 0 1 0 139023187 235024384 48661 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 57379 48661 1152 6655 0 47614 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 229516 KiB
Current children cumulated memory: 194644 KiB
[startup+0.700169 s]
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125270604/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=319000 memory=283476 CPUtime=0.68 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 61704 0 0 0 57 11 0 0 20 0 1 0 139023187 326656000 70869 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 79750 70869 1152 6655 0 69985 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 319000 KiB
Current children cumulated memory: 283476 KiB
[startup+1.50017 s]
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125226612/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=319000 memory=283476 CPUtime=1.48 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 61704 0 0 0 137 11 0 0 20 0 1 0 139023187 326656000 70869 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 79750 70869 1152 6655 0 69985 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 319000 KiB
Current children cumulated memory: 283476 KiB
[startup+3.10535 s]
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125227156/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=319000 memory=283476 CPUtime=3.08 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 61720 0 0 0 297 11 0 0 20 0 1 0 139023187 326656000 70869 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 79750 70869 1152 6655 0 69985 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 319000 KiB
Current children cumulated memory: 283476 KiB
[startup+6.30018 s]
/proc/loadavg: 6.03 6.08 4.84 7/266 111503
/proc/meminfo: memFree=125227156/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=319000 memory=283476 CPUtime=6.27 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 61752 0 0 0 616 11 0 0 20 0 1 0 139023187 326656000 70869 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 79750 70869 1152 6655 0 69985 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 319000 KiB
Current children cumulated memory: 283476 KiB
[startup+12.7002 s]
/proc/loadavg: 6.02 6.08 4.86 7/267 111504
/proc/meminfo: memFree=124924076/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=774700 memory=664832 CPUtime=12.65 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 112083 0 0 0 1243 22 0 0 20 0 2 0 139023187 793292800 166208 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 193675 166208 2848 6655 0 167558 0
[pid=111502/tid=111504] ppid=111499 vsize=774700 memory=6388 CPUtime=0 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) S 111499 111502 110720 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139024238 793292800 166208 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 774700 KiB
Current children cumulated memory: 664832 KiB
[startup+25.5002 s]
/proc/loadavg: 6.25 6.13 4.89 8/267 111504
/proc/meminfo: memFree=124061212/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1548084 memory=1427824 CPUtime=35.37 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 262232 0 0 0 3480 57 0 0 20 0 2 0 139023187 1585238016 356956 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 387021 356956 3328 6655 0 373025 0
[pid=111502/tid=111504] ppid=111499 vsize=1548084 memory=1453176 CPUtime=9.96 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 42659 0 0 0 986 10 0 0 20 0 2 0 139024238 1585238016 356956 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 35.37 s
Current children cumulated vsize: 1548084 KiB
Current children cumulated memory: 1427824 KiB
[startup+51.1057 s]
/proc/loadavg: 6.57 6.21 4.95 8/267 111504
/proc/meminfo: memFree=124044204/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1617144 memory=1499152 CPUtime=86.21 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 348929 0 0 0 8555 66 0 0 20 0 2 0 139023187 1655955456 374788 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 404286 374788 3328 6655 0 390516 0
[pid=111502/tid=111504] ppid=111499 vsize=1617144 memory=1462312 CPUtime=35.3 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 89662 0 0 0 3515 15 0 0 20 0 2 0 139024238 1655955456 374788 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 86.21 s
Current children cumulated vsize: 1617144 KiB
Current children cumulated memory: 1499152 KiB
[startup+102.3 s]
/proc/loadavg: 6.91 6.36 5.07 8/268 111511
/proc/meminfo: memFree=123751828/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1902128 memory=1803284 CPUtime=187.87 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 426738 0 0 0 18705 82 0 0 20 0 2 0 139023187 1947779072 450821 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 475532 450821 3360 6655 0 461762 0
[pid=111502/tid=111504] ppid=111499 vsize=1902128 memory=20608 CPUtime=85.95 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 117210 0 0 0 8578 17 0 0 20 0 2 0 139024238 1947779072 450821 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 187.87 s
Current children cumulated vsize: 1902128 KiB
Current children cumulated memory: 1803284 KiB
[startup+162.3 s]
/proc/loadavg: 7.03 6.50 5.20 8/268 111513
/proc/meminfo: memFree=123971876/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1634056 memory=1543360 CPUtime=307.06 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 468527 0 0 0 30616 90 0 0 20 0 2 0 139023187 1673273344 385840 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 408514 385840 3360 6655 0 394744 0
[pid=111502/tid=111504] ppid=111499 vsize=1634056 memory=1876636 CPUtime=145.33 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 131767 0 0 0 14514 19 0 0 20 0 2 0 139024238 1673273344 385840 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 307.06 s
Current children cumulated vsize: 1634056 KiB
Current children cumulated memory: 1543360 KiB
[startup+222.3 s]
/proc/loadavg: 7.06 6.61 5.32 8/268 111515
/proc/meminfo: memFree=123961380/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1660756 memory=1594804 CPUtime=426.25 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 494195 0 0 0 42531 94 0 0 20 0 2 0 139023187 1700614144 398701 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 415189 398701 3360 6655 0 401419 0
[pid=111502/tid=111504] ppid=111499 vsize=1660756 memory=1559972 CPUtime=204.72 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 133365 0 0 0 20451 21 0 0 20 0 2 0 139024238 1700614144 398701 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 426.25 s
Current children cumulated vsize: 1660756 KiB
Current children cumulated memory: 1594804 KiB
[startup+282.3 s]
/proc/loadavg: 7.06 6.70 5.44 8/268 111517
/proc/meminfo: memFree=123927504/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1697080 memory=1622592 CPUtime=545.47 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 528301 0 0 0 54448 99 0 0 20 0 2 0 139023187 1737809920 405648 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 424270 405648 3392 6655 0 410500 0
[pid=111502/tid=111504] ppid=111499 vsize=1697080 memory=16492 CPUtime=264.12 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 145655 0 0 0 26390 22 0 0 20 0 2 0 139024238 1737809920 405648 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 545.47 s
Current children cumulated vsize: 1697080 KiB
Current children cumulated memory: 1622592 KiB
[startup+342.3 s]
/proc/loadavg: 7.07 6.77 5.54 8/267 111519
/proc/meminfo: memFree=123712484/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1926264 memory=1838912 CPUtime=664.68 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 582785 0 0 0 66360 108 0 0 20 0 2 0 139023187 1972494336 459728 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 481566 459728 3392 6655 0 467796 0
[pid=111502/tid=111504] ppid=111499 vsize=1926264 memory=16492 CPUtime=323.52 cores=0,2
/proc/111502/task/111504/stat : 111504 (LSIPExact) R 111499 111502 110720 0 -1 4194368 145962 0 0 0 32330 22 0 0 20 0 2 0 139024238 1972494336 459728 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
Current children cumulated CPU time: 664.68 s
Current children cumulated vsize: 1926264 KiB
Current children cumulated memory: 1838912 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/111633/statm: 159675 151626 1088 1011 0 158442 0
Current children cumulated CPU time: 3078.3 s
Current children cumulated vsize: 2048280 KiB
Current children cumulated memory: 1975264 KiB
[startup+2442.3 s]
/proc/loadavg: 6.98 6.81 6.41 8/267 112042
/proc/meminfo: memFree=126351936/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=640620 memory=614512 CPUtime=1709.87 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 65296 0 0 0 170950 37 0 0 20 0 1 0 139095864 655994880 153628 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 160155 153628 1088 1011 0 158922 0
Current children cumulated CPU time: 3138.1 s
Current children cumulated vsize: 2050200 KiB
Current children cumulated memory: 1983272 KiB
[startup+2502.3 s]
/proc/loadavg: 6.40 6.67 6.38 7/265 112272
/proc/meminfo: memFree=126453408/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=642684 memory=616816 CPUtime=1769.67 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 65900 0 0 0 176926 41 0 0 20 0 1 0 139095864 658108416 154204 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 160671 154204 1088 1011 0 159438 0
Current children cumulated CPU time: 3197.9 s
Current children cumulated vsize: 2052264 KiB
Current children cumulated memory: 1985576 KiB
[startup+2562.3 s]
/proc/loadavg: 6.32 6.60 6.37 7/266 112412
/proc/meminfo: memFree=126393144/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=644124 memory=618224 CPUtime=1829.49 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 66347 0 0 0 182907 42 0 0 20 0 1 0 139095864 659582976 154556 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 161031 154556 1088 1011 0 159798 0
Current children cumulated CPU time: 3257.72 s
Current children cumulated vsize: 2053704 KiB
Current children cumulated memory: 1986984 KiB
[startup+2622.3 s]
/proc/loadavg: 6.33 6.54 6.36 8/267 112463
/proc/meminfo: memFree=125425384/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=647452 memory=621552 CPUtime=1889.32 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 67198 0 0 0 188889 43 0 0 20 0 1 0 139095864 662990848 155388 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 161863 155388 1088 1011 0 160630 0
Current children cumulated CPU time: 3317.55 s
Current children cumulated vsize: 2057032 KiB
Current children cumulated memory: 1990312 KiB
[startup+2682.3 s]
/proc/loadavg: 5.75 6.35 6.31 6/267 112470
/proc/meminfo: memFree=125154944/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=651540 memory=627616 CPUtime=1949.16 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 67904 0 0 0 194873 43 0 0 20 0 1 0 139095864 667176960 156904 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 162885 156904 1088 1011 0 161652 0
Current children cumulated CPU time: 3377.39 s
Current children cumulated vsize: 2061120 KiB
Current children cumulated memory: 1996376 KiB
[startup+2742.3 s]
/proc/loadavg: 5.34 6.12 6.23 6/268 112473
/proc/meminfo: memFree=125123816/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=653652 memory=631788 CPUtime=2009.02 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 68433 0 0 0 200858 44 0 0 20 0 1 0 139095864 669339648 157947 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 163413 157947 1088 1011 0 162180 0
Current children cumulated CPU time: 3437.25 s
Current children cumulated vsize: 2063232 KiB
Current children cumulated memory: 2000548 KiB
[startup+2802.3 s]
/proc/loadavg: 5.17 5.93 6.16 6/268 112475
/proc/meminfo: memFree=125118624/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=655160 memory=635436 CPUtime=2068.87 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 69016 0 0 0 206843 44 0 0 20 0 1 0 139095864 670883840 158859 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 163790 158859 1088 1011 0 162557 0
Current children cumulated CPU time: 3497.1 s
Current children cumulated vsize: 2064740 KiB
Current children cumulated memory: 2004196 KiB
[startup+2862.3 s]
/proc/loadavg: 3.98 5.45 5.98 4/261 112508
/proc/meminfo: memFree=125216664/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=659392 memory=641680 CPUtime=2128.68 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 70075 0 0 0 212824 44 0 0 20 0 1 0 139095864 675217408 160420 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 164848 160420 1088 1011 0 163615 0
Current children cumulated CPU time: 3556.91 s
Current children cumulated vsize: 2068972 KiB
Current children cumulated memory: 2010440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2905.6 s]
/proc/loadavg: 3.50 5.14 5.85 4/261 112510
/proc/meminfo: memFree=125234872/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1409580 memory=1368760 CPUtime=1428.23 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) S 111499 111502 110720 0 -1 4194304 772644 0 0 0 142694 129 0 0 20 0 1 0 139023187 1443409920 342190 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 352395 342190 3392 6655 0 340503 0
[pid=111633] ppid=111502 vsize=660532 memory=642832 CPUtime=2171.85 cores=0,2
/proc/111633/stat : 111633 (Exact) R 111502 111633 111633 0 -1 4194304 70560 0 0 0 217141 44 0 0 20 0 1 0 139095864 676384768 160708 18446744073709551615 4198400 8335837 140735967776176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 39985152 140735967779001 140735967779355 140735967779355 140735967784911 0
/proc/111633/statm: 165133 160708 1088 1011 0 163900 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2070112 KiB
Current children cumulated memory: 2011592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2905.96 s]
# the end of solver process 111502 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.78564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2905.8 s]
/proc/loadavg: 3.50 5.14 5.85 4/261 112510
/proc/meminfo: memFree=125234872/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1400300 memory=1359592 CPUtime=3600.19 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 790522 70698 0 0 142702 130 217142 45 20 0 1 0 139023187 1433907200 339898 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 350075 339898 3392 6655 0 338183 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 1400300 KiB
Current children cumulated memory: 1359592 KiB
[startup+2905.9 s]
/proc/loadavg: 3.50 5.14 5.85 4/261 112510
/proc/meminfo: memFree=125234872/131249988 swapFree=33010160/33010684
[pid=111502] ppid=111499 vsize=1400300 memory=1359592 CPUtime=3600.29 cores=0,2
/proc/111502/stat : 111502 (LSIPExact) R 111499 111502 110720 0 -1 4194304 806676 70698 0 0 142711 131 217142 45 20 0 1 0 139023187 1433907200 339898 18446744073709551615 94501866954752 94501894211921 140726414554272 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94501902713992 94501903145600 94501918265344 140726414563672 140726414563848 140726414563848 140726414569452 0
/proc/111502/statm: 350075 339898 3392 6655 0 338183 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 1400300 KiB
Current children cumulated memory: 1359592 KiB
Child status: 0
Real time (s): 2905.96
CPU time (s): 3600.37
CPU user time (s): 3598.58
CPU system time (s): 1.78564
CPU usage (%): 123.896
Max. virtual memory (cumulated for all children) (KiB): 2070112
Max. memory (cumulated for all children) (KiB): 2011592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.78564
maximum resident set size= 1876636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895164
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= 468
involuntary context switches= 13252
# summary of solver processes directly reported to runsolver:
# pid: 111502
# total CPU time (s): 3600.37
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.78564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02591 second user time and 13.5772 second system time
The end
Begin job on nodeC020 at 2025-07-11 13:30:56
IDJOB=4527021
IDBENCH=155426
IDSOLVER=3384
FILE ID=nodeC020/4527021-1752233456
RUNJOBID= nodeC020-1752232205-110737
SLURM_JOB_ID= 9682531
Free space on /tmp= 431312 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-192.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527021-1752233456/watcher-4527021-1752233456 -o /tmp/evaluation-result-4527021-1752233456/solver-4527021-1752233456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752232205-110737 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527021-1752233456.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7ac327da8fefd7cd3f39afa8bfb7af2c
RANDOM SEED=1287912451
nodeC020 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.912
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.79
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 : 3600.022
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.79
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 : 3603.988
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.79
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.897
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.79
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.889
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.79
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.632
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.79
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 : 3700.000
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.79
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.523
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 125503456 kB
MemAvailable: 126568804 kB
Buffers: 2128 kB
Cached: 1855020 kB
SwapCached: 8 kB
Active: 3793092 kB
Inactive: 1283700 kB
Active(anon): 3213140 kB
Inactive(anon): 24548 kB
Active(file): 579952 kB
Inactive(file): 1259152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 60984 kB
Writeback: 0 kB
AnonPages: 3218336 kB
Mapped: 147200 kB
Shmem: 18044 kB
KReclaimable: 130964 kB
Slab: 224816 kB
SReclaimable: 130964 kB
SUnreclaim: 93852 kB
KernelStack: 4288 kB
PageTables: 9484 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3693416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1226752 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431344 MiB
End job on nodeC020 at 2025-07-11 14:19:22