runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62395 MiB free)
memory of node 1: 64507 MiB (63495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488528-1751312242/watcher-4488528-1751312242 -o /tmp/evaluation-result-4488528-1751312242/solver-4488528-1751312242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42549 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488528-1751312242.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46256, runsolver pid=46253
[startup+0.10006 s]*
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909956/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=0.09 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 9 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+0.205618 s]*
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909956/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=0.2 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 20 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+0.305502 s]*
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909956/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=0.3 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 30 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700166 s]
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909956/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=0.69 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 69 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50015 s]
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909708/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=1.48 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 148 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+3.10531 s]
/proc/loadavg: 6.37 6.80 7.00 7/266 46257
/proc/meminfo: memFree=128909792/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=3.08 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 308 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30011 s]
/proc/loadavg: 6.34 6.79 6.99 6/266 46259
/proc/meminfo: memFree=128809504/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=42504 memory=8064 CPUtime=6.27 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 980 0 0 0 627 0 0 0 20 0 1 0 46904508 43524096 2016 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 10626 2016 1184 6655 0 861 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 6.23 6.76 6.98 7/267 46260
/proc/meminfo: memFree=128761812/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=136836 memory=43536 CPUtime=15.21 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 7298 0 0 0 1520 1 0 0 20 0 2 0 46904508 140120064 10884 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 34209 10884 3488 6655 0 9388 0
[pid=46256/tid=46260] ppid=46253 vsize=136836 memory=41488 CPUtime=2.56 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 1339 0 0 0 256 0 0 0 20 0 2 0 46905509 140120064 10884 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 136836 KiB
Current children cumulated memory: 43536 KiB
[startup+25.5002 s]
/proc/loadavg: 6.25 6.74 6.97 7/267 46261
/proc/meminfo: memFree=128741876/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=139264 memory=51344 CPUtime=40.65 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 21315 0 0 0 4062 3 0 0 20 0 2 0 46904508 142606336 12836 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 34816 12836 3520 6655 0 11018 0
[pid=46256/tid=46260] ppid=46253 vsize=139264 memory=49936 CPUtime=15.23 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 6198 0 0 0 1522 1 0 0 20 0 2 0 46905509 142606336 12836 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 139264 KiB
Current children cumulated memory: 51344 KiB
[startup+51.1057 s]
/proc/loadavg: 6.17 6.68 6.94 7/267 46261
/proc/meminfo: memFree=128720988/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=143760 memory=59920 CPUtime=90.66 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 31611 0 0 0 9062 4 0 0 20 0 2 0 46904508 147210240 14980 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 35940 14980 3520 6655 0 13274 0
[pid=46256/tid=46260] ppid=46253 vsize=143760 memory=13824 CPUtime=39.71 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 10133 0 0 0 3970 1 0 0 20 0 2 0 46905509 147210240 14980 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 90.66 s
Current children cumulated vsize: 143760 KiB
Current children cumulated memory: 59920 KiB
[startup+102.3 s]
/proc/loadavg: 6.34 6.63 6.91 8/269 46316
/proc/meminfo: memFree=129032016/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=156812 memory=84496 CPUtime=192.4 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 50284 0 0 0 19234 6 0 0 20 0 2 0 46904508 160575488 21124 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 39203 21124 3520 6655 0 19657 0
[pid=46256/tid=46260] ppid=46253 vsize=156812 memory=73744 CPUtime=90.41 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 20253 0 0 0 9038 3 0 0 20 0 2 0 46905509 160575488 21124 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 192.4 s
Current children cumulated vsize: 156812 KiB
Current children cumulated memory: 84496 KiB
[startup+162.3 s]
/proc/loadavg: 6.87 6.73 6.93 8/269 46318
/proc/meminfo: memFree=128961332/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=189176 memory=147600 CPUtime=311.66 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 69003 0 0 0 31156 10 0 0 20 0 2 0 46904508 193716224 36900 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 47294 36900 3520 6655 0 35398 0
[pid=46256/tid=46260] ppid=46253 vsize=189176 memory=145296 CPUtime=149.84 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 29638 0 0 0 14979 5 0 0 20 0 2 0 46905509 193716224 36900 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 311.66 s
Current children cumulated vsize: 189176 KiB
Current children cumulated memory: 147600 KiB
[startup+222.3 s]
/proc/loadavg: 7.00 6.80 6.94 8/269 46320
/proc/meminfo: memFree=128898468/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=280300 memory=202332 CPUtime=430.92 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 85944 0 0 0 43078 14 0 0 20 0 2 0 46904508 287027200 50583 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 70075 50583 3520 6655 0 48645 0
[pid=46256/tid=46260] ppid=46253 vsize=280300 memory=180060 CPUtime=209.27 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 38067 0 0 0 20920 7 0 0 20 0 2 0 46905509 287027200 50583 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 430.92 s
Current children cumulated vsize: 280300 KiB
Current children cumulated memory: 202332 KiB
[startup+282.3 s]
/proc/loadavg: 7.12 6.87 6.96 8/269 46322
/proc/meminfo: memFree=128826040/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=308652 memory=256732 CPUtime=550.18 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 99760 0 0 0 55001 17 0 0 20 0 2 0 46904508 316059648 64183 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 77163 64183 3520 6655 0 62510 0
[pid=46256/tid=46260] ppid=46253 vsize=308652 memory=254300 CPUtime=268.7 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 44880 0 0 0 26861 9 0 0 20 0 2 0 46905509 316059648 64183 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 550.18 s
Current children cumulated vsize: 308652 KiB
Current children cumulated memory: 256732 KiB
[startup+342.3 s]
/proc/loadavg: 7.10 6.91 6.97 8/269 46324
/proc/meminfo: memFree=128747292/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=402660 memory=312748 CPUtime=669.44 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 120651 0 0 0 66923 21 0 0 20 0 2 0 46904508 412323840 78187 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 100665 78187 3520 6655 0 76478 0
[pid=46256/tid=46260] ppid=46253 vsize=402660 memory=256348 CPUtime=328.13 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 56539 0 0 0 32801 12 0 0 20 0 2 0 46905509 412323840 78187 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 669.44 s
Current children cumulated vsize: 402660 KiB
Current children cumulated memory: 312748 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2334.3 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 305892 0 0 0 233363 67 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=14720 CPUtime=1155.3 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 141531 0 0 0 115489 41 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2334.3 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1242.3 s]
/proc/loadavg: 4.30 5.33 6.25 5/253 46428
/proc/meminfo: memFree=128450096/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2453.62 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 315455 0 0 0 245294 68 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784600 CPUtime=1214.77 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 149173 0 0 0 121436 41 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2453.62 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 5.09 6.10 5/253 46430
/proc/meminfo: memFree=128418960/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2572.92 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 327363 0 0 0 257223 69 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784600 CPUtime=1274.23 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 156997 0 0 0 127381 42 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2572.92 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.92 5.98 5/254 46437
/proc/meminfo: memFree=128401188/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2692.24 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 336898 0 0 0 269154 70 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784600 CPUtime=1333.7 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 164849 0 0 0 133327 43 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2692.24 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1422.3 s]
/proc/loadavg: 4.11 4.76 5.86 5/254 46450
/proc/meminfo: memFree=128373316/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2811.54 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 349800 0 0 0 281084 70 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784600 CPUtime=1393.15 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 173737 0 0 0 139272 43 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2811.54 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1482.3 s]
/proc/loadavg: 4.08 4.64 5.74 5/255 46453
/proc/meminfo: memFree=128300516/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784600 CPUtime=2930.86 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 357250 0 0 0 293015 71 0 0 20 0 2 0 46904508 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196150 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784600 CPUtime=1452.61 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 179064 0 0 0 145218 43 0 0 20 0 2 0 46905509 868323328 196150 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 2930.86 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784600 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.54 5.64 5/255 46455
/proc/meminfo: memFree=128276184/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784728 CPUtime=3050.17 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 364566 0 0 0 304945 72 0 0 20 0 2 0 46904508 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196182 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784728 CPUtime=1512.07 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 183771 0 0 0 151163 44 0 0 20 0 2 0 46905509 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 3050.17 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784728 KiB
[startup+1602.3 s]
/proc/loadavg: 4.08 4.45 5.54 5/255 46457
/proc/meminfo: memFree=128247848/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784728 CPUtime=3169.47 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 370150 0 0 0 316874 73 0 0 20 0 2 0 46904508 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196182 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784728 CPUtime=1571.53 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 188809 0 0 0 157108 45 0 0 20 0 2 0 46905509 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 3169.47 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784728 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.40 5.45 5/254 46459
/proc/meminfo: memFree=128219128/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784728 CPUtime=3288.78 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 381986 0 0 0 328804 74 0 0 20 0 2 0 46904508 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196182 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784728 CPUtime=1630.98 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 194311 0 0 0 163053 45 0 0 20 0 2 0 46905509 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 3288.78 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784728 KiB
[startup+1722.3 s]
/proc/loadavg: 4.05 4.32 5.36 5/254 46461
/proc/meminfo: memFree=128194872/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784728 CPUtime=3408.06 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 393266 0 0 0 340731 75 0 0 20 0 2 0 46904508 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196182 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784728 CPUtime=1690.42 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 199753 0 0 0 168996 46 0 0 20 0 2 0 46905509 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 3408.06 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784728 KiB
[startup+1782.3 s]
/proc/loadavg: 4.06 4.28 5.27 5/253 46463
/proc/meminfo: memFree=128178568/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=847972 memory=784728 CPUtime=3527.35 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) R 46253 46256 42536 0 -1 4194304 409381 0 0 0 352657 78 0 0 20 0 2 0 46904508 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 211993 196182 3552 6655 0 195836 0
[pid=46256/tid=46260] ppid=46253 vsize=847972 memory=784728 CPUtime=1749.86 cores=0,2
/proc/46256/task/46260/stat : 46260 (LSIPExact) R 46253 46256 42536 0 -1 4194368 207692 0 0 0 174939 47 0 0 20 0 2 0 46905509 868323328 196182 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
Current children cumulated CPU time: 3527.35 s
Current children cumulated vsize: 847972 KiB
Current children cumulated memory: 784728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1837.6 s]
/proc/loadavg: 3.69 4.15 5.17 4/254 46470
/proc/meminfo: memFree=127981204/131250000 swapFree=33010684/33010684
[pid=46256] ppid=46253 vsize=782436 memory=747048 CPUtime=3562.61 cores=0,2
/proc/46256/stat : 46256 (LSIPExact) S 46253 46256 42536 0 -1 4194304 425164 229 0 0 356181 80 0 0 20 0 1 0 46904508 801214464 186762 18446744073709551615 94225380429824 94225407686225 140735091643888 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94225416189064 94225416620672 94225431023616 140735091648858 140735091649034 140735091649034 140735091654636 0
/proc/46256/statm: 195609 186762 3584 6655 0 185808 0
[pid=46466] ppid=46256 vsize=229508 memory=180044 CPUtime=37.42 cores=0,2
/proc/46466/stat : 46466 (Exact) R 46256 46466 46466 0 -1 4194304 31496 0 0 0 3724 18 0 0 20 0 1 0 47084514 235016192 45011 18446744073709551615 4198400 8335837 140736786240000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 37261312 140736786245812 140736786246173 140736786246173 140736786251727 0
/proc/46466/statm: 57377 45011 1120 1011 0 56144 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1011944 KiB
Current children cumulated memory: 927092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1837.62 s]
# the end of solver process 46256 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.06 s, system=1.01079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1837.62
CPU time (s): 3600.07
CPU user time (s): 3599.06
CPU system time (s): 1.01079
CPU usage (%): 195.909
Max. virtual memory (cumulated for all children) (KiB): 1011944
Max. memory (cumulated for all children) (KiB): 927092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.01079
maximum resident set size= 789580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457407
page faults= 0
swaps= 0
block input operations= 224
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 614
involuntary context switches= 34880
# summary of solver processes directly reported to runsolver:
# pid: 46256
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.06
# total CPU system time (s): 1.01079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.41702 second user time and 7.88262 second system time
The end
Begin job on nodeC013 at 2025-06-30 21:37:22
IDJOB=4488528
IDBENCH=147521
IDSOLVER=3337
FILE ID=nodeC013/4488528-1751312242
RUNJOBID= nodeC013-1751302914-42549
SLURM_JOB_ID= 9594288
Free space on /tmp= 432924 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.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-4488528-1751312242/watcher-4488528-1751312242 -o /tmp/evaluation-result-4488528-1751312242/solver-4488528-1751312242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42549 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488528-1751312242.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=260316457
nodeC013 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 : 3601.722
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
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.67
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 : 3602.998
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.67
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.834
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.67
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.688
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.67
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 : 3599.849
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128911972 kB
MemAvailable: 129131152 kB
Buffers: 3280 kB
Cached: 1020468 kB
SwapCached: 0 kB
Active: 973960 kB
Inactive: 776832 kB
Active(anon): 740328 kB
Inactive(anon): 0 kB
Active(file): 233632 kB
Inactive(file): 776832 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44756 kB
Writeback: 4 kB
AnonPages: 728632 kB
Mapped: 139752 kB
Shmem: 13284 kB
KReclaimable: 95508 kB
Slab: 182824 kB
SReclaimable: 95508 kB
SUnreclaim: 87316 kB
KernelStack: 4288 kB
PageTables: 4568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1077696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 542720 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC013 at 2025-06-30 22:08:00