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 (38337 MiB free)
memory of node 1: 64507 MiB (47020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544820-1753218188/watcher-4544820-1753218188 -o /tmp/evaluation-result-4544820-1753218188/solver-4544820-1753218188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176017 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4544820-1753218188.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=178452, runsolver pid=178449
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87402376/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=0.09 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 9 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+0.205609 s]*
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87402376/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=0.19 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 19 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87410692/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=0.29 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 29 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+0.700182 s]
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87410692/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=0.68 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 68 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+1.50018 s]
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87410692/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=1.48 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 148 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+3.10532 s]
/proc/loadavg: 4.87 5.16 5.36 6/267 178453
/proc/meminfo: memFree=87437088/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=3.08 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 308 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+6.30018 s]
/proc/loadavg: 4.88 5.15 5.36 6/267 178453
/proc/meminfo: memFree=87461924/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=69684 memory=35328 CPUtime=6.27 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 7797 0 0 0 627 0 0 0 20 0 1 0 237496553 71356416 8832 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 17421 8832 1184 6655 0 7656 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69684 KiB
Current children cumulated memory: 35328 KiB
[startup+12.7002 s]
/proc/loadavg: 4.89 5.15 5.35 7/268 178454
/proc/meminfo: memFree=87327988/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=288952 memory=227724 CPUtime=14.55 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 48587 0 0 0 1449 6 0 0 20 0 2 0 237496553 295886848 56931 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 72238 56931 3456 6655 0 58148 0
[pid=178452/tid=178454] ppid=178449 vsize=288952 memory=224780 CPUtime=1.9 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 10011 0 0 0 189 1 0 0 20 0 2 0 237497559 295886848 56931 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 288952 KiB
Current children cumulated memory: 227724 KiB
[startup+25.5002 s]
/proc/loadavg: 5.14 5.19 5.37 7/268 178455
/proc/meminfo: memFree=87359088/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=288952 memory=231948 CPUtime=39.99 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 83649 0 0 0 3990 9 0 0 20 0 2 0 237496553 295886848 57987 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 72238 57987 3456 6655 0 58784 0
[pid=178452/tid=178454] ppid=178449 vsize=288952 memory=231308 CPUtime=14.57 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 25548 0 0 0 1455 2 0 0 20 0 2 0 237497559 295886848 57987 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 39.99 s
Current children cumulated vsize: 288952 KiB
Current children cumulated memory: 231948 KiB
[startup+51.1054 s]
/proc/loadavg: 5.43 5.26 5.38 7/268 178455
/proc/meminfo: memFree=87262592/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=344320 memory=288760 CPUtime=90.86 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 139740 0 0 0 9071 15 0 0 20 0 2 0 237496553 352583680 72190 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 86080 72190 3520 6655 0 73076 0
[pid=178452/tid=178454] ppid=178449 vsize=344320 memory=14384 CPUtime=39.9 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 45369 0 0 0 3987 3 0 0 20 0 2 0 237497559 352583680 72190 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 90.86 s
Current children cumulated vsize: 344320 KiB
Current children cumulated memory: 288760 KiB
[startup+102.3 s]
/proc/loadavg: 5.80 5.39 5.42 7/268 178457
/proc/meminfo: memFree=87228456/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=344320 memory=292344 CPUtime=192.59 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 156312 0 0 0 19242 17 0 0 20 0 2 0 237496553 352583680 73086 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 86080 73086 3552 6655 0 73076 0
[pid=178452/tid=178454] ppid=178449 vsize=344320 memory=292344 CPUtime=90.59 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 49225 0 0 0 9054 5 0 0 20 0 2 0 237497559 352583680 73086 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 192.59 s
Current children cumulated vsize: 344320 KiB
Current children cumulated memory: 292344 KiB
[startup+162.3 s]
/proc/loadavg: 6.04 5.53 5.47 7/268 178459
/proc/meminfo: memFree=87058512/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=424596 memory=329704 CPUtime=311.73 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 242953 0 0 0 31148 25 0 0 20 0 2 0 237496553 434786304 82426 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 106149 82426 3552 6655 0 81304 0
[pid=178452/tid=178454] ppid=178449 vsize=424596 memory=280180 CPUtime=149.91 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 82179 0 0 0 14982 9 0 0 20 0 2 0 237497559 434786304 82426 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 311.73 s
Current children cumulated vsize: 424596 KiB
Current children cumulated memory: 329704 KiB
[startup+222.3 s]
/proc/loadavg: 6.07 5.64 5.51 7/267 178461
/proc/meminfo: memFree=87015884/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=360436 memory=325644 CPUtime=431 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 276843 0 0 0 43064 36 0 0 20 0 2 0 237496553 369086464 81411 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 90109 81411 3552 6655 0 80295 0
[pid=178452/tid=178454] ppid=178449 vsize=360436 memory=325388 CPUtime=209.34 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 108312 0 0 0 20916 18 0 0 20 0 2 0 237497559 369086464 81411 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 431 s
Current children cumulated vsize: 360436 KiB
Current children cumulated memory: 325644 KiB
[startup+282.3 s]
/proc/loadavg: 6.10 5.72 5.55 7/266 178463
/proc/meminfo: memFree=86869248/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=428888 memory=339852 CPUtime=550.26 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 317130 0 0 0 54982 44 0 0 20 0 2 0 237496553 439181312 84963 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 107222 84963 3552 6655 0 83888 0
[pid=178452/tid=178454] ppid=178449 vsize=428888 memory=330252 CPUtime=268.77 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 137764 0 0 0 26851 26 0 0 20 0 2 0 237497559 439181312 84963 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 550.26 s
Current children cumulated vsize: 428888 KiB
Current children cumulated memory: 339852 KiB
[startup+342.3 s]
/proc/loadavg: 6.10 5.79 5.59 7/266 178465
/proc/meminfo: memFree=86702012/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=428888 memory=344116 CPUtime=669.52 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 333597 0 0 0 66906 46 0 0 20 0 2 0 237496553 439181312 86029 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 107222 86029 3552 6655 0 85334 0
[pid=178452/tid=178454] ppid=178449 vsize=428888 memory=330252 CPUtime=328.19 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 143617 0 0 0 32792 27 0 0 20 0 2 0 237497559 439181312 86029 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 669.52 s
Current children cumulated vsize: 428888 KiB
Current children cumulated memory: 344116 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=178452/tid=178454] ppid=178449 vsize=433580 memory=334780 CPUtime=447.04 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 162046 0 0 0 44672 32 0 0 20 0 2 0 237497559 443985920 85118 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 908.03 s
Current children cumulated vsize: 433580 KiB
Current children cumulated memory: 340472 KiB
[startup+522.3 s]
/proc/loadavg: 6.08 5.93 5.68 7/267 178478
/proc/meminfo: memFree=86399200/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=436116 memory=345128 CPUtime=1027.28 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 422936 0 0 0 102665 63 0 0 20 0 2 0 237496553 446582784 86282 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 109029 86282 3552 6655 0 85764 0
[pid=178452/tid=178454] ppid=178449 vsize=436116 memory=10752 CPUtime=506.46 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 186923 0 0 0 50609 37 0 0 20 0 2 0 237497559 446582784 86282 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1027.28 s
Current children cumulated vsize: 436116 KiB
Current children cumulated memory: 345128 KiB
[startup+582.3 s]
/proc/loadavg: 6.31 6.03 5.74 7/267 178480
/proc/meminfo: memFree=86262392/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=436116 memory=342776 CPUtime=1146.53 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 449767 0 0 0 114586 67 0 0 20 0 2 0 237496553 446582784 85694 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 109029 85694 3552 6655 0 85082 0
[pid=178452/tid=178454] ppid=178449 vsize=436116 memory=343032 CPUtime=565.88 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 208692 0 0 0 56547 41 0 0 20 0 2 0 237497559 446582784 85694 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1146.53 s
Current children cumulated vsize: 436116 KiB
Current children cumulated memory: 342776 KiB
[startup+642.3 s]
/proc/loadavg: 6.21 6.06 5.76 7/267 178482
/proc/meminfo: memFree=86108832/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=436116 memory=340648 CPUtime=1265.78 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 467531 0 0 0 126505 73 0 0 20 0 2 0 237496553 446582784 85162 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 109029 85162 3552 6655 0 85075 0
[pid=178452/tid=178454] ppid=178449 vsize=436116 memory=345560 CPUtime=625.31 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 226060 0 0 0 62483 48 0 0 20 0 2 0 237497559 446582784 85162 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1265.78 s
Current children cumulated vsize: 436116 KiB
Current children cumulated memory: 340648 KiB
[startup+702.3 s]
/proc/loadavg: 5.73 5.96 5.75 6/266 178531
/proc/meminfo: memFree=84879360/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=440892 memory=354332 CPUtime=1385.01 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 496126 0 0 0 138417 84 0 0 20 0 2 0 237496553 451473408 88583 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 110223 88583 3552 6655 0 88297 0
[pid=178452/tid=178454] ppid=178449 vsize=440892 memory=345560 CPUtime=684.7 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 244840 0 0 0 68415 55 0 0 20 0 2 0 237497559 451473408 88583 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1385.01 s
Current children cumulated vsize: 440892 KiB
Current children cumulated memory: 354332 KiB
[startup+728.129 s]
# the end of solver process 178452 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1433.39 s, system=0.905389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 5.73 5.96 5.75 6/266 178531
/proc/meminfo: memFree=84879360/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=440892 memory=354460 CPUtime=1388.4 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 496165 0 0 0 138756 84 0 0 20 0 2 0 237496553 451473408 88615 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 110223 88615 3552 6655 0 88297 0
[pid=178452/tid=178454] ppid=178449 vsize=440892 memory=-7448006809524402808 CPUtime=686.39 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 244879 0 0 0 68584 55 0 0 20 0 2 0 237497559 451473408 88615 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1388.4 s
Current children cumulated vsize: 440892 KiB
Current children cumulated memory: 354460 KiB
[startup+716.8 s]
/proc/loadavg: 5.73 5.95 5.75 7/266 178531
/proc/meminfo: memFree=84403000/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=440892 memory=350548 CPUtime=1413.82 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 499801 0 0 0 141297 85 0 0 20 0 2 0 237496553 451473408 87637 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 110223 87637 3552 6655 0 87497 0
[pid=178452/tid=178454] ppid=178449 vsize=440892 memory=14384 CPUtime=699.06 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 248442 0 0 0 69850 56 0 0 20 0 2 0 237497559 451473408 87637 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1413.82 s
Current children cumulated vsize: 440892 KiB
Current children cumulated memory: 350548 KiB
[startup+723.2 s]
/proc/loadavg: 5.75 5.95 5.75 7/266 178531
/proc/meminfo: memFree=84398872/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=435896 memory=347024 CPUtime=1426.54 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 501409 0 0 0 142569 85 0 0 20 0 2 0 237496553 446357504 86756 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 108974 86756 3552 6655 0 86248 0
[pid=178452/tid=178454] ppid=178449 vsize=435896 memory=350548 CPUtime=705.39 cores=0,2
/proc/178452/task/178454/stat : 178454 (LSIPExact) R 178449 178452 176007 0 -1 4194368 248543 0 0 0 70483 56 0 0 20 0 2 0 237497559 446357504 86756 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
Current children cumulated CPU time: 1426.54 s
Current children cumulated vsize: 435896 KiB
Current children cumulated memory: 347024 KiB
[startup+726.4 s]
/proc/loadavg: 5.77 5.95 5.75 7/266 178531
/proc/meminfo: memFree=84398872/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=354036 memory=317796 CPUtime=1432.25 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) S 178449 178452 176007 0 -1 4194304 507132 0 0 0 143140 85 0 0 20 0 1 0 237496553 362532864 79449 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 88509 79449 3584 6655 0 78695 0
Current children cumulated CPU time: 1432.25 s
Current children cumulated vsize: 354036 KiB
Current children cumulated memory: 317796 KiB
[startup+727.2 s]
/proc/loadavg: 5.77 5.95 5.75 6/266 178532
/proc/meminfo: memFree=84376952/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=354036 memory=317796 CPUtime=1432.25 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) S 178449 178452 176007 0 -1 4194304 507132 0 0 0 143140 85 0 0 20 0 1 0 237496553 362532864 79449 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 88509 79449 3584 6655 0 78695 0
[pid=178532] ppid=178452 vsize=61264 memory=44220 CPUtime=1.09 cores=0,2
/proc/178532/stat : 178532 (Exact) R 178452 178532 178532 0 -1 4194304 9304 0 0 0 106 3 0 0 20 0 1 0 237569162 62734336 11055 18446744073709551615 4198400 8335837 140729801052576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42938368 140729801054393 140729801054747 140729801054747 140729801060303 0
/proc/178532/statm: 15316 11055 1120 1011 0 14083 0
Current children cumulated CPU time: 1433.34 s
Current children cumulated vsize: 415300 KiB
Current children cumulated memory: 362016 KiB
[startup+727.6 s]
/proc/loadavg: 5.77 5.95 5.75 6/266 178532
/proc/meminfo: memFree=84376952/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=354036 memory=317796 CPUtime=1432.25 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) S 178449 178452 176007 0 -1 4194304 507132 0 0 0 143140 85 0 0 20 0 1 0 237496553 362532864 79449 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 88509 79449 3584 6655 0 78695 0
[pid=178532] ppid=178452 vsize=62308 memory=45116 CPUtime=1.49 cores=0,2
/proc/178532/stat : 178532 (Exact) R 178452 178532 178532 0 -1 4194304 9540 0 0 0 146 3 0 0 20 0 1 0 237569162 63803392 11279 18446744073709551615 4198400 8335837 140729801052576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42938368 140729801054393 140729801054747 140729801054747 140729801060303 0
/proc/178532/statm: 15577 11279 1120 1011 0 14344 0
Current children cumulated CPU time: 1433.74 s
Current children cumulated vsize: 416344 KiB
Current children cumulated memory: 362912 KiB
[startup+728 s]*
/proc/loadavg: 5.77 5.95 5.75 6/266 178532
/proc/meminfo: memFree=84373172/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=354036 memory=317796 CPUtime=1432.25 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) S 178449 178452 176007 0 -1 4194304 507132 0 0 0 143140 85 0 0 20 0 1 0 237496553 362532864 79449 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 88509 79449 3584 6655 0 78695 0
[pid=178532] ppid=178452 vsize=63544 memory=48416 CPUtime=1.89 cores=0,2
/proc/178532/stat : 178532 (Exact) R 178452 178532 178532 0 -1 4194304 9843 0 0 0 186 3 0 0 20 0 1 0 237569162 65069056 12104 18446744073709551615 4198400 8335837 140729801052576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42938368 140729801054393 140729801054747 140729801054747 140729801060303 0
/proc/178532/statm: 15886 12104 1120 1011 0 14653 0
Current children cumulated CPU time: 1434.14 s
Current children cumulated vsize: 417580 KiB
Current children cumulated memory: 366212 KiB
[startup+728.113 s]
/proc/loadavg: 5.77 5.95 5.75 6/266 178532
/proc/meminfo: memFree=84373172/131249996 swapFree=33010416/33010684
[pid=178452] ppid=178449 vsize=354036 memory=317796 CPUtime=1434.26 cores=0,2
/proc/178452/stat : 178452 (LSIPExact) R 178449 178452 176007 0 -1 4194304 511056 9847 0 0 143141 86 196 3 20 0 1 0 237496553 362532864 79449 18446744073709551615 94002997972992 94003025230161 140728319000464 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94003033732232 94003034163840 94003058630656 140728319007064 140728319007240 140728319007240 140728319012844 0
/proc/178452/statm: 88509 79449 3584 6655 0 78695 0
Current children cumulated CPU time: 1434.26 s
Current children cumulated vsize: 354036 KiB
Current children cumulated memory: 317796 KiB
Child status: 0
Real time (s): 728.129
CPU time (s): 1434.29
CPU user time (s): 1433.39
CPU system time (s): 0.905389
CPU usage (%): 196.983
Max. virtual memory (cumulated for all children) (KiB): 443508
Max. memory (cumulated for all children) (KiB): 366212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.39
system time used= 0.905389
maximum resident set size= 361072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524091
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= 319
involuntary context switches= 14046
# summary of solver processes directly reported to runsolver:
# pid: 178452
# total CPU time (s): 1434.29
# total CPU user time (s): 1433.39
# total CPU system time (s): 0.905389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85128 second user time and 2.91357 second system time
The end
Begin job on nodeC022 at 2025-07-22 23:03:08
IDJOB=4544820
IDBENCH=180683
IDSOLVER=3384
FILE ID=nodeC022/4544820-1753218188
RUNJOBID= nodeC022-1753211081-176017
SLURM_JOB_ID= 9687788
Free space on /tmp= 432576 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_11_identity_complement.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544820-1753218188/watcher-4544820-1753218188 -o /tmp/evaluation-result-4544820-1753218188/solver-4544820-1753218188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176017 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4544820-1753218188.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b491c2baabcf28ebf0b874cd3568279
RANDOM SEED=1243127056
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
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.44
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 : 3599.715
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.44
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 : 3577.948
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.702
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.44
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.721
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.44
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.718
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.44
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.802
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.44
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 : 3614.817
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 87406156 kB
MemAvailable: 88827048 kB
Buffers: 2128 kB
Cached: 2170836 kB
SwapCached: 32 kB
Active: 41787780 kB
Inactive: 1029076 kB
Active(anon): 40667992 kB
Inactive(anon): 2124 kB
Active(file): 1119788 kB
Inactive(file): 1026952 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45972 kB
Writeback: 0 kB
AnonPages: 40629120 kB
Mapped: 154116 kB
Shmem: 26220 kB
KReclaimable: 226384 kB
Slab: 322360 kB
SReclaimable: 226384 kB
SUnreclaim: 95976 kB
KernelStack: 4304 kB
PageTables: 83476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 45775472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22816768 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432516 MiB
End job on nodeC022 at 2025-07-22 23:15:16