1063.61/730.41 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1063.61/730.41 c numVar: 2723840
1063.61/730.41 c numCon: 11664
1063.61/730.41 c numEqual: 0
1063.61/730.41 c intSize: 23
1063.61/730.41 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1063.61/730.41 c ------------------- Paras list -------------------
1063.61/730.41 c Name Type Now Default Comment
1063.61/730.41 c timeout double 3600.000000 3600
1063.61/730.41 c mip_time double 0.200000 0.5
1063.61/730.41 c ls_time double 10.000000 10
1063.61/730.41 c safe_mode int 1 1 1 trust; 2 feasible
1063.61/730.41 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1063.61/730.41 c random_seed int 0 0
1063.61/730.41 c sample_size int 50 50
1063.61/730.41 c sub_score int 1 1
1063.61/730.41 c tabu_base int 3 3
1063.61/730.41 c tabu_variation int 1 1
1063.61/730.41 c sub_div int 4 4
1063.61/730.41 c nbcore int 2 1
1063.61/730.41 c memlimit int 31000 31744 memory limit in megabytes
1063.61/730.41 c print_sol int 1 1
1063.61/730.41 c tmpdir string . "."
1063.61/730.41 c home string HOME "."
1063.61/730.41 c benchname string HOME/instance-4512083-1751138218.opb ""
1063.61/730.41 c --------------------------------------------------
1063.61/730.41 c Local Search solver
1063.61/730.41 c MIP solver
1063.61/730.41 c use Exact solver
1160.23/827.30 c receive signal 15, try to interrupt solver...
1063.63/827.71 c Exact solver (PID 14327) interrupted gracefully.
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 (62845 MiB free)
memory of node 1: 64465 MiB (60375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512083-1751138218/watcher-4512083-1751138218 -o /tmp/evaluation-result-4512083-1751138218/solver-4512083-1751138218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12379 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512083-1751138218.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14156, runsolver pid=14153
[startup+0.100064 s]*
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=126138564/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=107292 memory=40064 CPUtime=0.08 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 9028 0 0 0 7 1 0 0 20 0 1 0 29499533 109867008 10016 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 26823 10016 1152 6655 0 17058 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 107292 KiB
Current children cumulated memory: 40064 KiB
[startup+0.205627 s]*
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=126098244/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=170824 memory=76288 CPUtime=0.19 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 18089 0 0 0 16 3 0 0 20 0 1 0 29499533 174923776 19072 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 42706 19072 1152 6655 0 32941 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 76288 KiB
[startup+0.305583 s]*
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=126066240/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=225568 memory=112128 CPUtime=0.28 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 27049 0 0 0 24 4 0 0 20 0 1 0 29499533 230981632 28032 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 56392 28032 1152 6655 0 46627 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 225568 KiB
Current children cumulated memory: 112128 KiB
[startup+0.700183 s]
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=125969944/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=800380 memory=695144 CPUtime=0.68 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 64974 0 0 0 49 19 0 0 20 0 1 0 29499533 819589120 173786 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 200095 173786 1152 6655 0 190330 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 800380 KiB
Current children cumulated memory: 695144 KiB
[startup+1.50017 s]
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=125150084/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=1401128 memory=1295976 CPUtime=1.47 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 215164 0 0 0 106 41 0 0 20 0 1 0 29499533 1434755072 323962 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 350282 323962 1152 6655 0 340517 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1401128 KiB
Current children cumulated memory: 1295976 KiB
[startup+3.10538 s]
/proc/loadavg: 4.66 4.68 4.95 5/269 14157
/proc/meminfo: memFree=124383236/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=1927040 memory=1821784 CPUtime=3.07 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 335046 0 0 0 247 60 0 0 20 0 1 0 29499533 1973288960 455446 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 481760 455446 1152 6655 0 471995 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1927040 KiB
Current children cumulated memory: 1821784 KiB
[startup+6.30016 s]
/proc/loadavg: 4.61 4.67 4.94 5/269 14157
/proc/meminfo: memFree=123972224/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=2301200 memory=2195800 CPUtime=6.26 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 428756 0 0 0 551 75 0 0 20 0 1 0 29499533 2356428800 548950 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 575300 548950 1152 6655 0 565535 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2301200 KiB
Current children cumulated memory: 2195800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.56 4.66 4.94 5/268 14157
/proc/meminfo: memFree=122936352/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=3524300 memory=3288576 CPUtime=12.64 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 560618 0 0 0 1153 111 0 0 20 0 1 0 29499533 3608883200 822144 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 881075 822144 2176 6655 0 871310 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3524300 KiB
Current children cumulated memory: 3288576 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.64 4.93 5/268 14158
/proc/meminfo: memFree=122113292/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=4447748 memory=4034836 CPUtime=25.4 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 591391 0 0 0 2400 140 0 0 20 0 2 0 29499533 4554493952 1008709 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1111937 1008709 2816 6655 0 1085820 0
[pid=14156/tid=14158] ppid=14153 vsize=4447748 memory=14432 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 4554493952 1008709 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4447748 KiB
Current children cumulated memory: 4034836 KiB
[startup+51.1055 s]
/proc/loadavg: 4.40 4.61 4.91 5/266 14173
/proc/meminfo: memFree=125401956/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=4447748 memory=4034836 CPUtime=50.94 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 601423 0 0 0 4953 141 0 0 20 0 2 0 29499533 4554493952 1008709 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1111937 1008709 2816 6655 0 1085820 0
[pid=14156/tid=14158] ppid=14153 vsize=4447748 memory=4034836 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 4554493952 1008709 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4447748 KiB
Current children cumulated memory: 4034836 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.54 4.87 5/267 14250
/proc/meminfo: memFree=123680332/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=7015572 memory=5966664 CPUtime=102 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 705085 0 0 0 9992 208 0 0 20 0 2 0 29499533 7183945728 1491666 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1753893 1491666 2912 6655 0 1727776 0
[pid=14156/tid=14158] ppid=14153 vsize=7015572 memory=5966664 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 7183945728 1491666 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 7015572 KiB
Current children cumulated memory: 5966664 KiB
[startup+162.3 s]
/proc/loadavg: 4.88 4.66 4.89 6/268 14253
/proc/meminfo: memFree=123405028/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=7355832 memory=6228352 CPUtime=161.84 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 801438 0 0 0 15922 262 0 0 20 0 2 0 29499533 7532371968 1557088 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1838958 1557088 2912 6655 0 1812841 0
[pid=14156/tid=14158] ppid=14153 vsize=7355832 memory=6018904 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 7532371968 1557088 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 7355832 KiB
Current children cumulated memory: 6228352 KiB
[startup+222.3 s]
/proc/loadavg: 5.00 4.74 4.91 6/267 14256
/proc/meminfo: memFree=123388460/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=7374028 memory=6246656 CPUtime=221.7 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 810950 0 0 0 21906 264 0 0 20 0 2 0 29499533 7551004672 1561664 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1843507 1561664 2912 6655 0 1817390 0
[pid=14156/tid=14158] ppid=14153 vsize=7374028 memory=1792 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 7551004672 1561664 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 7374028 KiB
Current children cumulated memory: 6246656 KiB
[startup+282.3 s]
/proc/loadavg: 5.15 4.83 4.93 6/268 14259
/proc/meminfo: memFree=123369740/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=7390228 memory=6262912 CPUtime=281.55 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 821045 0 0 0 27890 265 0 0 20 0 2 0 29499533 7567593472 1565728 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 1847557 1565728 2912 6655 0 1821440 0
[pid=14156/tid=14158] ppid=14153 vsize=7390228 memory=14432 CPUtime=0 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) S 14153 14156 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29500883 7567593472 1565728 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 7390228 KiB
Current children cumulated memory: 6262912 KiB
[startup+342.3 s]
/proc/loadavg: 5.39 4.95 4.96 7/269 14266
/proc/meminfo: memFree=120922852/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=10630456 memory=8653744 CPUtime=361.38 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1075128 0 0 0 35760 378 0 0 20 0 2 0 29499533 10885586944 2163436 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 2657614 2163436 3456 6655 0 2605608 0
[pid=14156/tid=14158] ppid=14153 vsize=10630456 memory=6319872 CPUtime=20.17 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 101075 0 0 0 1974 43 0 0 20 0 2 0 29500883 10885586944 2163436 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 361.38 s
Current children cumulated vsize: 10630456 KiB
Current children cumulated memory: 8653744 KiB
[startup+402.3 s]
/proc/loadavg: 5.37 5.02 4.99 7/269 14313
################
# More data... #
################
[startup+462.3 s]
/proc/loadavg: 6.62 5.45 5.14 8/269 14315
/proc/meminfo: memFree=118104412/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=13934992 memory=11449948 CPUtime=531.84 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1420496 0 0 0 52703 481 0 0 20 0 2 0 29499533 14269431808 2862487 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3483748 2862487 3456 6655 0 3431742 0
[pid=14156/tid=14158] ppid=14153 vsize=13934992 memory=11449948 CPUtime=71.04 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 153127 0 0 0 7051 53 0 0 20 0 2 0 29500883 14269431808 2862487 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 531.84 s
Current children cumulated vsize: 13934992 KiB
Current children cumulated memory: 11449948 KiB
[startup+522.3 s]
/proc/loadavg: 6.91 5.75 5.27 8/268 14319
/proc/meminfo: memFree=118114352/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=13934992 memory=11455160 CPUtime=651.02 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1464219 0 0 0 64617 485 0 0 20 0 2 0 29499533 14269431808 2863790 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3483748 2863790 3456 6655 0 3431742 0
[pid=14156/tid=14158] ppid=14153 vsize=13934992 memory=11588020 CPUtime=130.44 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 164296 0 0 0 12988 56 0 0 20 0 2 0 29500883 14269431808 2863790 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 651.02 s
Current children cumulated vsize: 13934992 KiB
Current children cumulated memory: 11455160 KiB
[startup+582.3 s]
/proc/loadavg: 7.07 6.01 5.39 8/267 14321
/proc/meminfo: memFree=118066164/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=13934992 memory=11470264 CPUtime=770.11 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1579908 0 0 0 76518 493 0 0 20 0 2 0 29499533 14269431808 2867566 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3483748 2867566 3456 6655 0 3431742 0
[pid=14156/tid=14158] ppid=14153 vsize=13934992 memory=11455160 CPUtime=189.78 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 183046 0 0 0 18921 57 0 0 20 0 2 0 29500883 14269431808 2867566 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 770.11 s
Current children cumulated vsize: 13934992 KiB
Current children cumulated memory: 11470264 KiB
[startup+642.3 s]
/proc/loadavg: 7.03 6.19 5.49 8/267 14323
/proc/meminfo: memFree=118041632/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=13934992 memory=11470264 CPUtime=889.12 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1623943 0 0 0 88415 497 0 0 20 0 2 0 29499533 14269431808 2867566 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3483748 2867566 3456 6655 0 3431742 0
[pid=14156/tid=14158] ppid=14153 vsize=13934992 memory=11455160 CPUtime=249.08 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 189994 0 0 0 24850 58 0 0 20 0 2 0 29500883 14269431808 2867566 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 889.12 s
Current children cumulated vsize: 13934992 KiB
Current children cumulated memory: 11470264 KiB
[startup+702.3 s]
/proc/loadavg: 7.17 6.39 5.60 8/266 14325
/proc/meminfo: memFree=118025872/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=13923616 memory=11482952 CPUtime=1008.14 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1727102 0 0 0 100308 506 0 0 20 0 2 0 29499533 14257782784 2870738 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3480904 2870738 3488 6655 0 3428898 0
[pid=14156/tid=14158] ppid=14153 vsize=13923616 memory=11455160 CPUtime=308.38 cores=1,3
/proc/14156/task/14158/stat : 14158 (LSIPExact) R 14153 14156 12362 0 -1 4194368 199294 0 0 0 30779 59 0 0 20 0 2 0 29500883 14257782784 2870738 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
Current children cumulated CPU time: 1008.14 s
Current children cumulated vsize: 13923616 KiB
Current children cumulated memory: 11482952 KiB
[startup+762.3 s]
/proc/loadavg: 6.70 6.40 5.66 7/267 14329
/proc/meminfo: memFree=111666848/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=12056328 memory=9840164 CPUtime=1063.63 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) S 14153 14156 12362 0 -1 4194304 1891750 0 0 0 105848 515 0 0 20 0 1 0 29499533 12345679872 2460041 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3014082 2460041 3552 6655 0 2962239 0
[pid=14327] ppid=14156 vsize=7967580 memory=7262744 CPUtime=31.76 cores=1,3
/proc/14327/stat : 14327 (Exact) R 14156 14327 14327 0 -1 4194304 988136 0 0 0 2905 271 0 0 20 0 1 0 29572574 8158801920 1815686 18446744073709551615 4198400 8335837 140728182994096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 37875712 140728182999227 140728182999581 140728182999581 140728183005135 0
/proc/14327/statm: 1991895 1815686 960 1011 0 1990662 0
Current children cumulated CPU time: 1095.39 s
Current children cumulated vsize: 20023908 KiB
Current children cumulated memory: 17102908 KiB
[startup+822.3 s]
/proc/loadavg: 6.30 6.34 5.69 6/267 14334
/proc/meminfo: memFree=102457828/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=12056328 memory=9840164 CPUtime=1063.63 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) S 14153 14156 12362 0 -1 4194304 1891750 0 0 0 105848 515 0 0 20 0 1 0 29499533 12345679872 2460041 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3014082 2460041 3552 6655 0 2962239 0
[pid=14327] ppid=14156 vsize=18972920 memory=17170888 CPUtime=91.61 cores=1,3
/proc/14327/stat : 14327 (Exact) R 14156 14327 14327 0 -1 4194304 2513709 0 0 0 8456 705 0 0 20 0 1 0 29572574 19428270080 4292722 18446744073709551615 4198400 8335837 140728182994096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 37875712 140728182999227 140728182999581 140728182999581 140728183005135 0
/proc/14327/statm: 4743230 4292722 960 1011 0 4741997 0
Current children cumulated CPU time: 1155.24 s
Current children cumulated vsize: 31029248 KiB
Current children cumulated memory: 27011052 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+827.3 s]
/proc/loadavg: 6.20 6.32 5.69 6/267 14334
/proc/meminfo: memFree=101589276/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=12056328 memory=9840164 CPUtime=1063.63 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) S 14153 14156 12362 0 -1 4194304 1891750 0 0 0 105848 515 0 0 20 0 1 0 29499533 12345679872 2460041 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3014082 2460041 3552 6655 0 2962239 0
[pid=14327] ppid=14156 vsize=19692032 memory=18099668 CPUtime=96.6 cores=1,3
/proc/14327/stat : 14327 (Exact) R 14156 14327 14327 0 -1 4194304 2689205 0 0 0 8922 738 0 0 20 0 1 0 29572574 20164640768 4524917 18446744073709551615 4198400 8335837 140728182994096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 37875712 140728182999227 140728182999581 140728182999581 140728183005135 0
/proc/14327/statm: 4923008 4524917 960 1011 0 4921775 0
Current children cumulated CPU time: 1160.23 s
Current children cumulated vsize: 31748360 KiB
Current children cumulated memory: 27939832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+829.434 s]
# the end of solver process 14156 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1149.17 s, system=13.1861 s
Solver just ended.
Dumping a history of the last processes samples
[startup+828 s]*
/proc/loadavg: 6.20 6.32 5.69 6/266 14335
/proc/meminfo: memFree=118661788/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=12013760 memory=9797600 CPUtime=1160.91 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 1999644 2689463 0 0 105872 520 8923 776 20 0 1 0 29499533 12302090240 2449400 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 3003440 2449400 3552 6655 0 2951597 0
Current children cumulated CPU time: 1160.91 s
Current children cumulated vsize: 12013760 KiB
Current children cumulated memory: 9797600 KiB
[startup+828.8 s]
/proc/loadavg: 6.20 6.32 5.69 6/266 14335
/proc/meminfo: memFree=118661788/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=11779668 memory=9563504 CPUtime=1161.71 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 2095914 2689463 0 0 105946 526 8923 776 20 0 1 0 29499533 12062380032 2390876 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 2944917 2390876 3552 6655 0 2893074 0
Current children cumulated CPU time: 1161.71 s
Current children cumulated vsize: 11779668 KiB
Current children cumulated memory: 9563504 KiB
[startup+829.2 s]
/proc/loadavg: 6.10 6.30 5.68 6/266 14335
/proc/meminfo: memFree=118908380/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=11758384 memory=9542220 CPUtime=1162.1 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 2101903 2689463 0 0 105985 526 8923 776 20 0 1 0 29499533 12040585216 2385555 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 2939596 2385555 3552 6655 0 2887753 0
Current children cumulated CPU time: 1162.1 s
Current children cumulated vsize: 11758384 KiB
Current children cumulated memory: 9542220 KiB
[startup+829.3 s]
/proc/loadavg: 6.10 6.30 5.68 6/266 14335
/proc/meminfo: memFree=118908380/131250000 swapFree=33010684/33010684
[pid=14156] ppid=14153 vsize=11758384 memory=9542220 CPUtime=1162.21 cores=1,3
/proc/14156/stat : 14156 (LSIPExact) R 14153 14156 12362 0 -1 4194304 2147379 2689463 0 0 105993 529 8923 776 20 0 1 0 29499533 12040585216 2385555 18446744073709551615 94299515863040 94299543119441 140722444626864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94299551622280 94299552053888 94299562196992 140722444630362 140722444630538 140722444630538 140722444636140 0
/proc/14156/statm: 2939596 2385555 3552 6655 0 2887753 0
Current children cumulated CPU time: 1162.21 s
Current children cumulated vsize: 11758384 KiB
Current children cumulated memory: 9542220 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 829.434
CPU time (s): 1162.35
CPU user time (s): 1149.17
CPU system time (s): 13.1861
CPU usage (%): 140.138
Max. virtual memory (cumulated for all children) (KiB): 31748360
Max. memory (cumulated for all children) (KiB): 27939832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1149.17
system time used= 13.1861
maximum resident set size= 18099924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4836880
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= 383
involuntary context switches= 11099
# summary of solver processes directly reported to runsolver:
# pid: 14156
# total CPU time (s): 1162.35
# total CPU user time (s): 1149.17
# total CPU system time (s): 13.1861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73587 second user time and 3.65264 second system time
The end
Begin job on nodeC016 at 2025-06-28 21:17:00
IDJOB=4512083
IDBENCH=160492
IDSOLVER=3336
FILE ID=nodeC016/4512083-1751138218
RUNJOBID= nodeC016-1751133631-12379
SLURM_JOB_ID= 9587416
Free space on /tmp= 432692 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512083-1751138218/watcher-4512083-1751138218 -o /tmp/evaluation-result-4512083-1751138218/solver-4512083-1751138218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12379 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512083-1751138218.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=662552513
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3550.600
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.739
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126178588 kB
MemAvailable: 126165760 kB
Buffers: 3280 kB
Cached: 800584 kB
SwapCached: 0 kB
Active: 3827028 kB
Inactive: 594212 kB
Active(anon): 3635448 kB
Inactive(anon): 0 kB
Active(file): 191580 kB
Inactive(file): 594212 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 177988 kB
Writeback: 4 kB
AnonPages: 3619068 kB
Mapped: 144532 kB
Shmem: 18072 kB
KReclaimable: 81240 kB
Slab: 163876 kB
SReclaimable: 81240 kB
SUnreclaim: 82636 kB
KernelStack: 4336 kB
PageTables: 10320 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4203576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1609728 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= 432756 MiB
End job on nodeC016 at 2025-06-28 21:30:49