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 (63199 MiB free)
memory of node 1: 64465 MiB (63797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488666-1751339396/watcher-4488666-1751339396 -o /tmp/evaluation-result-4488666-1751339396/solver-4488666-1751339396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-45000 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488666-1751339396.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45043, runsolver pid=45037
[startup+0.100044 s]*
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130029492/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=0.09 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 9 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+0.211763 s]*
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=0.2 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 20 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+0.310404 s]*
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=0.3 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 30 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+0.700263 s]
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=0.68 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 68 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+1.50025 s]
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=1.47 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 147 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+3.11214 s]
/proc/loadavg: 0.99 2.80 3.60 5/251 45056
/proc/meminfo: memFree=130028536/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=3.08 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 308 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+6.30023 s]
/proc/loadavg: 0.99 2.80 3.60 5/251 45056
/proc/meminfo: memFree=130028928/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=42504 memory=7680 CPUtime=6.26 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 978 0 0 0 626 0 0 0 20 0 1 0 49618740 43524096 1920 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 10626 1920 1120 6655 0 861 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 7680 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 2.91 3.62 9/255 45060
/proc/meminfo: memFree=129936736/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=135108 memory=41516 CPUtime=15.16 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 6879 0 0 0 1515 1 0 0 20 0 2 0 49618740 138350592 10379 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 33777 10379 3392 6655 0 8872 0
[pid=45043/tid=45057] ppid=45037 vsize=135108 memory=40364 CPUtime=2.51 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 1257 0 0 0 251 0 0 0 20 0 2 0 49619742 138350592 10379 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 135108 KiB
Current children cumulated memory: 41516 KiB
[startup+25.5002 s]
/proc/loadavg: 2.81 3.09 3.68 9/255 45060
/proc/meminfo: memFree=129903424/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=137404 memory=52268 CPUtime=40.6 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 21108 0 0 0 4057 3 0 0 20 0 2 0 49618740 140701696 13067 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 34351 13067 3392 6655 0 11368 0
[pid=45043/tid=45057] ppid=45037 vsize=137404 memory=52012 CPUtime=15.18 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 7305 0 0 0 1517 1 0 0 20 0 2 0 49619742 140701696 13067 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 40.6 s
Current children cumulated vsize: 137404 KiB
Current children cumulated memory: 52268 KiB
[startup+51.1056 s]
/proc/loadavg: 4.58 3.49 3.79 9/255 45061
/proc/meminfo: memFree=129842476/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=149928 memory=74924 CPUtime=91.47 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 32151 0 0 0 9142 5 0 0 20 0 2 0 49618740 153526272 18731 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 37482 18731 3392 6655 0 17041 0
[pid=45043/tid=45057] ppid=45037 vsize=149928 memory=3688506592425831690 CPUtime=40.55 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 13054 0 0 0 4053 2 0 0 20 0 2 0 49619742 153526272 18731 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 91.47 s
Current children cumulated vsize: 149928 KiB
Current children cumulated memory: 74924 KiB
[startup+102.3 s]
/proc/loadavg: 6.68 4.27 4.04 9/256 45064
/proc/meminfo: memFree=129779008/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=167720 memory=107180 CPUtime=191.05 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 45174 0 0 0 19097 8 0 0 20 0 2 0 49618740 171745280 26795 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 41930 26795 3392 6655 0 25755 0
[pid=45043/tid=45057] ppid=45037 vsize=167720 memory=107180 CPUtime=89.11 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 20841 0 0 0 8907 4 0 0 20 0 2 0 49619742 171745280 26795 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 191.05 s
Current children cumulated vsize: 167720 KiB
Current children cumulated memory: 107180 KiB
[startup+162.3 s]
/proc/loadavg: 7.55 4.96 4.30 9/255 45066
/proc/meminfo: memFree=129606272/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=188476 memory=119896 CPUtime=307.61 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 47948 0 0 0 30752 9 0 0 20 0 2 0 49618740 192999424 29974 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 47119 29974 3392 6655 0 30944 0
[pid=45043/tid=45057] ppid=45037 vsize=188476 memory=107180 CPUtime=145.83 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 22398 0 0 0 14579 4 0 0 20 0 2 0 49619742 192999424 29974 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 307.61 s
Current children cumulated vsize: 188476 KiB
Current children cumulated memory: 119896 KiB
[startup+222.3 s]
/proc/loadavg: 7.84 5.52 4.53 9/255 45068
/proc/meminfo: memFree=129518612/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=188476 memory=126040 CPUtime=426.78 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 47995 0 0 0 42668 10 0 0 20 0 2 0 49618740 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 47119 31510 3392 6655 0 30944 0
[pid=45043/tid=45057] ppid=45037 vsize=188476 memory=126040 CPUtime=205.19 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 22413 0 0 0 20514 5 0 0 20 0 2 0 49619742 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 426.78 s
Current children cumulated vsize: 188476 KiB
Current children cumulated memory: 126040 KiB
[startup+282.3 s]
/proc/loadavg: 8.06 6.00 4.76 9/255 45070
/proc/meminfo: memFree=129473428/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=188476 memory=126040 CPUtime=546.03 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 49401 0 0 0 54593 10 0 0 20 0 2 0 49618740 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 47119 31510 3392 6655 0 30944 0
[pid=45043/tid=45057] ppid=45037 vsize=188476 memory=126040 CPUtime=264.62 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 23435 0 0 0 26457 5 0 0 20 0 2 0 49619742 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 546.03 s
Current children cumulated vsize: 188476 KiB
Current children cumulated memory: 126040 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 6.38 4.97 9/254 45072
/proc/meminfo: memFree=129405904/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=188476 memory=126040 CPUtime=665.27 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 50150 0 0 0 66517 10 0 0 20 0 2 0 49618740 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 47119 31510 3392 6655 0 30944 0
[pid=45043/tid=45057] ppid=45037 vsize=188476 memory=126040 CPUtime=324.05 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 24178 0 0 0 32400 5 0 0 20 0 2 0 49619742 192999424 31510 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 665.27 s
Current children cumulated vsize: 188476 KiB
Current children cumulated memory: 126040 KiB
################
# More data... #
################
[pid=45043] ppid=45037 vsize=960500 memory=862068 CPUtime=2334.73 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 260708 0 0 0 233408 65 0 0 20 0 2 0 49618740 983552000 215517 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 240125 215517 3392 6655 0 214614 0
[pid=45043/tid=45057] ppid=45037 vsize=960500 memory=712052 CPUtime=1156.04 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 127132 0 0 0 115569 35 0 0 20 0 2 0 49619742 983552000 215517 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2334.73 s
Current children cumulated vsize: 960500 KiB
Current children cumulated memory: 862068 KiB
[startup+1242.3 s]
/proc/loadavg: 8.12 8.05 6.98 9/253 45115
/proc/meminfo: memFree=126740500/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=986188 memory=912628 CPUtime=2453.98 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 273898 0 0 0 245329 69 0 0 20 0 2 0 49618740 1009856512 228157 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 246547 228157 3392 6655 0 227155 0
[pid=45043/tid=45057] ppid=45037 vsize=986188 memory=911348 CPUtime=1215.46 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 133670 0 0 0 121509 37 0 0 20 0 2 0 49619742 1009856512 228157 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2453.98 s
Current children cumulated vsize: 986188 KiB
Current children cumulated memory: 912628 KiB
[startup+1302.3 s]
/proc/loadavg: 8.04 8.03 7.05 9/253 45118
/proc/meminfo: memFree=126590132/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1013108 memory=962676 CPUtime=2573.21 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 286803 0 0 0 257249 72 0 0 20 0 2 0 49618740 1037422592 240669 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 253277 240669 3392 6655 0 239947 0
[pid=45043/tid=45057] ppid=45037 vsize=1013108 memory=18048 CPUtime=1274.88 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 139723 0 0 0 127450 38 0 0 20 0 2 0 49619742 1037422592 240669 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2573.21 s
Current children cumulated vsize: 1013108 KiB
Current children cumulated memory: 962676 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.06 7.12 9/254 45121
/proc/meminfo: memFree=126459672/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1104040 memory=1015816 CPUtime=2692.46 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 305085 0 0 0 269169 77 0 0 20 0 2 0 49618740 1130536960 253954 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 276010 253954 3392 6655 0 252910 0
[pid=45043/tid=45057] ppid=45037 vsize=1104040 memory=1013128 CPUtime=1334.31 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 149513 0 0 0 133390 41 0 0 20 0 2 0 49619742 1130536960 253954 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2692.46 s
Current children cumulated vsize: 1104040 KiB
Current children cumulated memory: 1015816 KiB
[startup+1422.3 s]
/proc/loadavg: 8.15 8.08 7.19 9/254 45123
/proc/meminfo: memFree=126315364/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1129588 memory=1068552 CPUtime=2811.71 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 320894 0 0 0 281089 82 0 0 20 0 2 0 49618740 1156698112 267138 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 282397 267138 3392 6655 0 266091 0
[pid=45043/tid=45057] ppid=45037 vsize=1129588 memory=1054344 CPUtime=1393.73 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 157232 0 0 0 139329 44 0 0 20 0 2 0 49619742 1156698112 267138 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2811.71 s
Current children cumulated vsize: 1129588 KiB
Current children cumulated memory: 1068552 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.08 7.25 9/254 45125
/proc/meminfo: memFree=126184976/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1155424 memory=1116040 CPUtime=2930.95 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 336924 0 0 0 293008 87 0 0 20 0 2 0 49618740 1183154176 279010 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 288856 279010 3392 6655 0 277949 0
[pid=45043/tid=45057] ppid=45037 vsize=1155424 memory=1082248 CPUtime=1453.16 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 165051 0 0 0 145269 47 0 0 20 0 2 0 49619742 1183154176 279010 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 2930.95 s
Current children cumulated vsize: 1155424 KiB
Current children cumulated memory: 1116040 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.08 7.30 9/254 45127
/proc/meminfo: memFree=126034884/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1250772 memory=1174356 CPUtime=3050.16 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 352947 0 0 0 304924 92 0 0 20 0 2 0 49618740 1280790528 293589 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 312693 293589 3392 6655 0 292587 0
[pid=45043/tid=45057] ppid=45037 vsize=1250772 memory=1164756 CPUtime=1512.58 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 173241 0 0 0 151208 50 0 0 20 0 2 0 49619742 1280790528 293589 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 3050.16 s
Current children cumulated vsize: 1250772 KiB
Current children cumulated memory: 1174356 KiB
[startup+1602.3 s]
/proc/loadavg: 8.09 8.07 7.36 9/254 45129
/proc/meminfo: memFree=125854996/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1275216 memory=1222612 CPUtime=3169.4 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 365555 0 0 0 316844 96 0 0 20 0 2 0 49618740 1305821184 305653 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 318804 305653 3392 6655 0 304567 0
[pid=45043/tid=45057] ppid=45037 vsize=1275216 memory=1221332 CPUtime=1571.99 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 179514 0 0 0 157148 51 0 0 20 0 2 0 49619742 1305821184 305653 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 3169.4 s
Current children cumulated vsize: 1275216 KiB
Current children cumulated memory: 1222612 KiB
[startup+1662.3 s]
/proc/loadavg: 8.07 8.07 7.40 10/254 45134
/proc/meminfo: memFree=125689804/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1366536 memory=1281968 CPUtime=3288.63 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 382355 0 0 0 328762 101 0 0 20 0 2 0 49618740 1399332864 320492 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 341634 320492 3392 6655 0 319332 0
[pid=45043/tid=45057] ppid=45037 vsize=1366536 memory=1270192 CPUtime=1631.41 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 188516 0 0 0 163086 55 0 0 20 0 2 0 49619742 1399332864 320492 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 3288.63 s
Current children cumulated vsize: 1366536 KiB
Current children cumulated memory: 1281968 KiB
[startup+1722.3 s]
/proc/loadavg: 8.06 8.07 7.45 9/255 45141
/proc/meminfo: memFree=125521980/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1392740 memory=1337264 CPUtime=3407.88 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 399442 0 0 0 340683 105 0 0 20 0 2 0 49618740 1426165760 334316 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 348185 334316 3392 6655 0 333113 0
[pid=45043/tid=45057] ppid=45037 vsize=1392740 memory=1276848 CPUtime=1690.84 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 197570 0 0 0 169027 57 0 0 20 0 2 0 49619742 1426165760 334316 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 3407.88 s
Current children cumulated vsize: 1392740 KiB
Current children cumulated memory: 1337264 KiB
[startup+1782.3 s]
/proc/loadavg: 8.06 8.07 7.49 9/255 45143
/proc/meminfo: memFree=125371256/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1483072 memory=1387696 CPUtime=3527.11 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) R 45037 45043 44987 0 -1 4194304 417200 0 0 0 352602 109 0 0 20 0 2 0 49618740 1518665728 346924 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 370768 346924 3392 6655 0 345726 0
[pid=45043/tid=45057] ppid=45037 vsize=1483072 memory=1375920 CPUtime=1750.27 cores=5,7
/proc/45043/task/45057/stat : 45057 (LSIPExact) R 45037 45043 44987 0 -1 4194368 207056 0 0 0 174968 59 0 0 20 0 2 0 49619742 1518665728 346924 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
Current children cumulated CPU time: 3527.11 s
Current children cumulated vsize: 1483072 KiB
Current children cumulated memory: 1387696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1838 s]*
/proc/loadavg: 6.18 7.59 7.36 4/246 45191
/proc/meminfo: memFree=127456468/131382120 swapFree=33010160/33010684
[pid=45043] ppid=45037 vsize=1416096 memory=1347964 CPUtime=3562.46 cores=5,7
/proc/45043/stat : 45043 (LSIPExact) S 45037 45043 44987 0 -1 4194304 499042 228 0 0 356130 116 0 0 20 0 1 0 49618740 1450082304 336991 18446744073709551615 94863704846336 94863732102737 140736437248720 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94863740605576 94863741037184 94863773052928 140736437250394 140736437250570 140736437250570 140736437256172 0
/proc/45043/statm: 354024 336991 3424 6655 0 344139 0
[pid=45150] ppid=45043 vsize=245616 memory=193508 CPUtime=37.59 cores=5,7
/proc/45150/stat : 45150 (Exact) R 45043 45150 45150 0 -1 4194304 33803 0 0 0 3736 23 0 0 20 0 1 0 49798758 251510784 48377 18446744073709551615 4198400 8335837 140731128862736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28155904 140731128866996 140731128867357 140731128867357 140731128872911 0
/proc/45150/statm: 61404 48377 1120 1011 0 60171 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1661712 KiB
Current children cumulated memory: 1541472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1838.07 s]
# the end of solver process 45043 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.68 s, system=1.44948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1838.07
CPU time (s): 3600.13
CPU user time (s): 3598.68
CPU system time (s): 1.44948
CPU usage (%): 195.865
Max. virtual memory (cumulated for all children) (KiB): 1661712
Max. memory (cumulated for all children) (KiB): 1541472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.44948
maximum resident set size= 1407280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533223
page faults= 0
swaps= 0
block input operations= 232
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 638
involuntary context switches= 139056
# summary of solver processes directly reported to runsolver:
# pid: 45043
# total CPU time (s): 3600.13
# total CPU user time (s): 3598.68
# total CPU system time (s): 1.44948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66281 second user time and 8.57343 second system time
The end
Begin job on nodeC008 at 2025-07-01 05:09:56
IDJOB=4488666
IDBENCH=147526
IDSOLVER=3337
FILE ID=nodeC008/4488666-1751339396
RUNJOBID= nodeC008-1751339396-45000
SLURM_JOB_ID= 9594406
Free space on /tmp= 433060 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488666-1751339396/watcher-4488666-1751339396 -o /tmp/evaluation-result-4488666-1751339396/solver-4488666-1751339396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-45000 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488666-1751339396.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=142509273
nodeC008 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 : 1197.215
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.72
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 : 1197.206
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.72
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 : 1197.400
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.72
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 : 3700.000
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.72
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 : 1197.216
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.72
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 : 3700.000
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.72
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 : 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 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.72
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 : 1197.139
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130043540 kB
MemAvailable: 129945168 kB
Buffers: 2144 kB
Cached: 711576 kB
SwapCached: 16 kB
Active: 289444 kB
Inactive: 494016 kB
Active(anon): 51024 kB
Inactive(anon): 36636 kB
Active(file): 238420 kB
Inactive(file): 457380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 179004 kB
Writeback: 8 kB
AnonPages: 72796 kB
Mapped: 103040 kB
Shmem: 17920 kB
KReclaimable: 90912 kB
Slab: 172620 kB
SReclaimable: 90912 kB
SUnreclaim: 81708 kB
KernelStack: 3808 kB
PageTables: 2744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC008 at 2025-07-01 05:40:35