1408.15/726.65 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1408.15/726.65 c numVar: 101921
1408.15/726.65 c numCon: 213661
1408.15/726.65 c numEqual: 572
1408.15/726.65 c intSize: 6
1408.15/726.65 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1408.15/726.65 c ------------------- Paras list -------------------
1408.15/726.65 c Name Type Now Default Comment
1408.15/726.65 c timeout double 3600.000000 3600
1408.15/726.65 c mip_time double 0.200000 0.5
1408.15/726.65 c ls_time double 10.000000 10
1408.15/726.65 c safe_mode int 1 1 1 trust; 2 feasible
1408.15/726.65 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1408.15/726.65 c random_seed int 0 0
1408.15/726.65 c sample_size int 50 50
1408.15/726.65 c sub_score int 1 1
1408.15/726.65 c tabu_base int 3 3
1408.15/726.65 c tabu_variation int 1 1
1408.15/726.65 c sub_div int 4 4
1408.15/726.65 c nbcore int 2 1
1408.15/726.65 c memlimit int 31000 31744 memory limit in megabytes
1408.15/726.65 c print_sol int 1 1
1408.15/726.65 c tmpdir string . "."
1408.15/726.65 c home string HOME "."
1408.15/726.65 c benchname string HOME/instance-4545301-1753223863.opb ""
1408.15/726.65 c --------------------------------------------------
1408.15/726.65 c Local Search solver
1408.15/726.65 c MIP solver
1408.15/726.65 c use Exact solver
3600.09/2925.80 c receive signal 15, try to interrupt solver...
1408.21/2925.91 c Exact solver (PID 184489) interrupted gracefully.
3600.30/2926.17 s UNKNOWN
3600.30/2926.17 c Total time: 2926
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: 63837 MiB (52560 MiB free)
memory of node 1: 64465 MiB (47710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545301-1753223863/watcher-4545301-1753223863 -o /tmp/evaluation-result-4545301-1753223863/solver-4545301-1753223863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181603 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545301-1753223863.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=184443, runsolver pid=184440
[startup+0.100088 s]*
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102637356/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=101320 memory=58572 CPUtime=0.1 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 11072 0 0 0 6 4 0 0 20 0 1 0 238065745 103751680 14643 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 25330 14643 1184 6655 0 15565 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101320 KiB
Current children cumulated memory: 58572 KiB
[startup+0.213851 s]*
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102614044/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=121884 memory=87508 CPUtime=0.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 15732 0 0 0 15 6 0 0 20 0 1 0 238065745 124809216 21877 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 30471 21877 1184 6655 0 20706 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 121884 KiB
Current children cumulated memory: 87508 KiB
[startup+0.31357 s]*
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102585756/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=144880 memory=110420 CPUtime=0.31 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 21470 0 0 0 24 7 0 0 20 0 1 0 238065745 148357120 27605 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 36220 27605 1184 6655 0 26455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 144880 KiB
Current children cumulated memory: 110420 KiB
[startup+0.700289 s]
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102537380/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=212620 memory=178132 CPUtime=0.68 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 38381 0 0 0 55 13 0 0 20 0 1 0 238065745 217722880 44501 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 53155 44501 1184 6655 0 43390 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212620 KiB
Current children cumulated memory: 178132 KiB
[startup+1.50029 s]
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102480932/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=247720 memory=212948 CPUtime=1.48 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 47105 0 0 0 132 16 0 0 20 0 1 0 238065745 253665280 53237 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 61930 53237 1184 6655 0 52165 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 247720 KiB
Current children cumulated memory: 212948 KiB
[startup+3.11359 s]
/proc/loadavg: 7.32 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102481184/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=247720 memory=212948 CPUtime=3.08 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 47115 0 0 0 292 16 0 0 20 0 1 0 238065745 253665280 53237 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 61930 53237 1184 6655 0 52165 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 247720 KiB
Current children cumulated memory: 212948 KiB
[startup+6.30029 s]
/proc/loadavg: 7.30 6.87 6.28 8/255 184444
/proc/meminfo: memFree=102481444/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=247720 memory=212948 CPUtime=6.26 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 47125 0 0 0 610 16 0 0 20 0 1 0 238065745 253665280 53237 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 61930 53237 1184 6655 0 52165 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 247720 KiB
Current children cumulated memory: 212948 KiB
[startup+12.7003 s]
/proc/loadavg: 7.35 6.89 6.29 8/256 184445
/proc/meminfo: memFree=102243748/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=700076 memory=578108 CPUtime=12.63 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 100293 0 0 0 1234 29 0 0 20 0 2 0 238065745 716877824 144527 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 175019 144527 2912 6655 0 148902 0
[pid=184443/tid=184445] ppid=184440 vsize=700076 memory=468716 CPUtime=0 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) S 184440 184443 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 238066797 716877824 144527 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 700076 KiB
Current children cumulated memory: 578108 KiB
[startup+25.5002 s]
/proc/loadavg: 7.35 6.91 6.31 9/256 184445
/proc/meminfo: memFree=101902884/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=882280 memory=788684 CPUtime=31.35 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 170380 0 0 0 3087 48 0 0 20 0 2 0 238065745 903454720 197171 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 220570 197171 3360 6655 0 202321 0
[pid=184443/tid=184445] ppid=184440 vsize=882280 memory=786508 CPUtime=6.79 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 23602 0 0 0 670 9 0 0 20 0 2 0 238066797 903454720 197171 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 31.35 s
Current children cumulated vsize: 882280 KiB
Current children cumulated memory: 788684 KiB
[startup+51.1137 s]
/proc/loadavg: 7.50 6.98 6.35 8/257 184447
/proc/meminfo: memFree=101868344/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=882620 memory=790700 CPUtime=76.5 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 188775 0 0 0 7599 51 0 0 20 0 2 0 238065745 903802880 197675 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 220655 197675 3360 6655 0 202526 0
[pid=184443/tid=184445] ppid=184440 vsize=882620 memory=790572 CPUtime=26.57 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) S 184440 184443 181591 0 -1 4194368 28564 0 0 0 2647 10 0 0 20 0 2 0 238066797 903802880 197675 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 76.5 s
Current children cumulated vsize: 882620 KiB
Current children cumulated memory: 790700 KiB
[startup+102.3 s]
/proc/loadavg: 7.74 7.13 6.43 9/256 184450
/proc/meminfo: memFree=101536172/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1238080 memory=1086680 CPUtime=169.75 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 280681 0 0 0 16906 69 0 0 20 0 2 0 238065745 1267793920 271670 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 309520 271670 3488 6655 0 289498 0
[pid=184443/tid=184445] ppid=184440 vsize=1238080 memory=1032504 CPUtime=69.21 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 46295 0 0 0 6907 14 0 0 20 0 2 0 238066797 1267793920 271670 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 169.75 s
Current children cumulated vsize: 1238080 KiB
Current children cumulated memory: 1086680 KiB
[startup+162.3 s]
/proc/loadavg: 7.96 7.30 6.54 9/256 184457
/proc/meminfo: memFree=101432436/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1195156 memory=1065556 CPUtime=288.65 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 312799 0 0 0 28790 75 0 0 20 0 2 0 238065745 1223839744 266389 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 298789 266389 3488 6655 0 278767 0
[pid=184443/tid=184445] ppid=184440 vsize=1195156 memory=1064532 CPUtime=128.86 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 56783 0 0 0 12870 16 0 0 20 0 2 0 238066797 1223839744 266389 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 288.65 s
Current children cumulated vsize: 1195156 KiB
Current children cumulated memory: 1065556 KiB
[startup+222.3 s]
/proc/loadavg: 7.91 7.40 6.62 9/256 184459
/proc/meminfo: memFree=101546680/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1195156 memory=1068628 CPUtime=407.65 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 364363 0 0 0 40684 81 0 0 20 0 2 0 238065745 1223839744 267157 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 298789 267157 3488 6655 0 278767 0
[pid=184443/tid=184445] ppid=184440 vsize=1195156 memory=1066452 CPUtime=188.57 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 89479 0 0 0 18837 20 0 0 20 0 2 0 238066797 1223839744 267157 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 407.65 s
Current children cumulated vsize: 1195156 KiB
Current children cumulated memory: 1068628 KiB
[startup+282.3 s]
/proc/loadavg: 8.07 7.55 6.72 9/256 184461
/proc/meminfo: memFree=101371536/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1195156 memory=1085504 CPUtime=526.65 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 419039 0 0 0 52579 86 0 0 20 0 2 0 238065745 1223839744 271376 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 298789 271376 3488 6655 0 280257 0
[pid=184443/tid=184445] ppid=184440 vsize=1195156 memory=16368 CPUtime=248.28 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 113804 0 0 0 24806 22 0 0 20 0 2 0 238066797 1223839744 271376 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 526.65 s
Current children cumulated vsize: 1195156 KiB
Current children cumulated memory: 1085504 KiB
[startup+342.3 s]
/proc/loadavg: 8.02 7.63 6.80 9/255 184463
/proc/meminfo: memFree=101359148/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1195156 memory=1097056 CPUtime=645.67 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 458151 0 0 0 64475 92 0 0 20 0 2 0 238065745 1223839744 274264 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 298789 274264 3488 6655 0 283293 0
[pid=184443/tid=184445] ppid=184440 vsize=1195156 memory=1085120 CPUtime=308 cores=1,3
/proc/184443/task/184445/stat : 184445 (LSIPExact) R 184440 184443 181591 0 -1 4194368 130548 0 0 0 30775 25 0 0 20 0 2 0 238066797 1223839744 274264 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
Current children cumulated CPU time: 645.67 s
Current children cumulated vsize: 1195156 KiB
Current children cumulated memory: 1097056 KiB
################
# More data... #
################
/proc/184489/statm: 123596 122405 1120 1011 0 122363 0
Current children cumulated CPU time: 3118.1 s
Current children cumulated vsize: 1593720 KiB
Current children cumulated memory: 1508200 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.52 3.97 3/240 184829
/proc/meminfo: memFree=101896880/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=496968 memory=492180 CPUtime=1769.71 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 72082 0 0 0 176919 52 0 0 20 0 1 0 238138410 508895232 123045 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 124242 123045 1120 1011 0 123009 0
Current children cumulated CPU time: 3177.92 s
Current children cumulated vsize: 1596304 KiB
Current children cumulated memory: 1510760 KiB
[startup+2562.3 s]
/proc/loadavg: 2.09 2.44 3.85 3/240 184831
/proc/meminfo: memFree=101875876/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=539956 memory=496576 CPUtime=1829.54 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 73175 0 0 0 182900 54 0 0 20 0 1 0 238138410 552914944 124144 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 134989 124144 1120 1011 0 133756 0
Current children cumulated CPU time: 3237.75 s
Current children cumulated vsize: 1639292 KiB
Current children cumulated memory: 1515156 KiB
[startup+2622.3 s]
/proc/loadavg: 2.08 2.37 3.74 3/241 184836
/proc/meminfo: memFree=101876704/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=540724 memory=499424 CPUtime=1889.37 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 73449 0 0 0 188883 54 0 0 20 0 1 0 238138410 553701376 124856 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 135181 124856 1120 1011 0 133948 0
Current children cumulated CPU time: 3297.58 s
Current children cumulated vsize: 1640060 KiB
Current children cumulated memory: 1518004 KiB
[startup+2682.3 s]
/proc/loadavg: 2.15 2.33 3.64 3/240 184841
/proc/meminfo: memFree=101876684/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=541864 memory=500448 CPUtime=1949.2 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 73820 0 0 0 194866 54 0 0 20 0 1 0 238138410 554868736 125112 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 135466 125112 1120 1011 0 134233 0
Current children cumulated CPU time: 3357.41 s
Current children cumulated vsize: 1641200 KiB
Current children cumulated memory: 1519028 KiB
[startup+2742.3 s]
/proc/loadavg: 1.66 2.18 3.50 2/233 184875
/proc/meminfo: memFree=104202752/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=542760 memory=501344 CPUtime=2009 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 74121 0 0 0 200846 54 0 0 20 0 1 0 238138410 555786240 125336 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 135690 125336 1120 1011 0 134457 0
Current children cumulated CPU time: 3417.21 s
Current children cumulated vsize: 1642096 KiB
Current children cumulated memory: 1519924 KiB
[startup+2802.3 s]
/proc/loadavg: 1.28 1.97 3.35 2/233 184877
/proc/meminfo: memFree=104199792/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=544168 memory=504828 CPUtime=2068.8 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 74479 0 0 0 206826 54 0 0 20 0 1 0 238138410 557228032 126207 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 136042 126207 1120 1011 0 134809 0
Current children cumulated CPU time: 3477.01 s
Current children cumulated vsize: 1643504 KiB
Current children cumulated memory: 1523408 KiB
[startup+2862.3 s]
/proc/loadavg: 1.20 1.82 3.21 2/234 184880
/proc/meminfo: memFree=104200172/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=544168 memory=504828 CPUtime=2128.59 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 74628 0 0 0 212801 58 0 0 20 0 1 0 238138410 557228032 126207 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 136042 126207 1120 1011 0 134809 0
Current children cumulated CPU time: 3536.8 s
Current children cumulated vsize: 1643504 KiB
Current children cumulated memory: 1523408 KiB
[startup+2922.3 s]
/proc/loadavg: 1.13 1.69 3.07 2/234 184882
/proc/meminfo: memFree=104200408/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=547588 memory=508320 CPUtime=2188.39 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 75045 0 0 0 218764 75 0 0 20 0 1 0 238138410 560730112 127080 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 136897 127080 1120 1011 0 135664 0
Current children cumulated CPU time: 3596.6 s
Current children cumulated vsize: 1646924 KiB
Current children cumulated memory: 1526900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2925.8 s]
/proc/loadavg: 1.12 1.67 3.06 2/234 184882
/proc/meminfo: memFree=104200408/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=1408.21 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) S 184440 184443 181591 0 -1 4194304 696660 0 0 0 140696 125 0 0 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
[pid=184489] ppid=184443 vsize=547588 memory=508320 CPUtime=2191.88 cores=1,3
/proc/184489/stat : 184489 (Exact) R 184443 184489 184489 0 -1 4194304 75045 0 0 0 219113 75 0 0 20 0 1 0 238138410 560730112 127080 18446744073709551615 4198400 8335837 140731560273808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 19947520 140731560278201 140731560278555 140731560278555 140731560284111 0
/proc/184489/statm: 136897 127080 1120 1011 0 135664 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1646924 KiB
Current children cumulated memory: 1526900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2926.19 s]
# the end of solver process 184443 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.33 s, system=2.0647 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2926 s]*
/proc/loadavg: 1.12 1.67 3.06 2/233 184883
/proc/meminfo: memFree=104703408/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=3600.2 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 712715 75182 0 0 140703 127 219114 76 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1099336 KiB
Current children cumulated memory: 1018580 KiB
[startup+2926.11 s]
/proc/loadavg: 1.12 1.67 3.06 2/233 184883
/proc/meminfo: memFree=104703408/131382116 swapFree=33005528/33010684
[pid=184443] ppid=184440 vsize=1099336 memory=1018580 CPUtime=3600.3 cores=1,3
/proc/184443/stat : 184443 (LSIPExact) R 184440 184443 181591 0 -1 4194304 719161 75182 0 0 140713 127 219114 76 20 0 1 0 238065745 1125720064 254645 18446744073709551615 94431532064768 94431559321169 140727305587552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94431567824008 94431568255616 94431577513984 140727305595224 140727305595400 140727305595400 140727305601004 0
/proc/184443/statm: 274834 254645 3520 6655 0 264490 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 1099336 KiB
Current children cumulated memory: 1018580 KiB
Child status: 0
Real time (s): 2926.19
CPU time (s): 3600.4
CPU user time (s): 3598.33
CPU system time (s): 2.0647
CPU usage (%): 123.04
Max. virtual memory (cumulated for all children) (KiB): 1688776
Max. memory (cumulated for all children) (KiB): 1554432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 2.0647
maximum resident set size= 1223612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813864
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= 497
involuntary context switches= 41325
# summary of solver processes directly reported to runsolver:
# pid: 184443
# total CPU time (s): 3600.4
# total CPU user time (s): 3598.33
# total CPU system time (s): 2.0647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7621 second user time and 25.7932 second system time
The end
Begin job on nodeC010 at 2025-07-23 00:37:43
IDJOB=4545301
IDBENCH=180812
IDSOLVER=3336
FILE ID=nodeC010/4545301-1753223863
RUNJOBID= nodeC010-1753219980-181603
SLURM_JOB_ID= 9687804
Free space on /tmp= 432536 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545301-1753223863/watcher-4545301-1753223863 -o /tmp/evaluation-result-4545301-1753223863/solver-4545301-1753223863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181603 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545301-1753223863.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=471730843
nodeC010 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 : 0xb00001f
cpu MHz : 3591.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1397.053
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3505.540
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.143
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3505.273
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3591.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3505.827
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3491.877
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 102677424 kB
MemAvailable: 126935396 kB
Buffers: 228 kB
Cached: 25022064 kB
SwapCached: 4300 kB
Active: 3822252 kB
Inactive: 24185564 kB
Active(anon): 2958648 kB
Inactive(anon): 48712 kB
Active(file): 863604 kB
Inactive(file): 24136852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55204 kB
Writeback: 0 kB
AnonPages: 2981800 kB
Mapped: 140428 kB
Shmem: 21832 kB
KReclaimable: 194288 kB
Slab: 285676 kB
SReclaimable: 194288 kB
SUnreclaim: 91388 kB
KernelStack: 4128 kB
PageTables: 9236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3461968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1107968 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC010 at 2025-07-23 01:26:30