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 (62021 MiB free)
memory of node 1: 64507 MiB (38789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542363-1753216076/watcher-4542363-1753216076 -o /tmp/evaluation-result-4542363-1753216076/solver-4542363-1753216076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176018 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542363-1753216076.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=176694, runsolver pid=176691
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.90 4.84 4.70 5/265 176695
/proc/meminfo: memFree=103170540/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=0.09 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15167 0 0 0 7 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.90 4.84 4.70 5/265 176695
/proc/meminfo: memFree=103170540/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=0.2 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15167 0 0 0 18 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+0.305526 s]*
/proc/loadavg: 4.90 4.84 4.70 5/265 176695
/proc/meminfo: memFree=103170540/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=0.3 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15167 0 0 0 28 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+0.700171 s]
/proc/loadavg: 4.91 4.84 4.71 5/265 176695
/proc/meminfo: memFree=103170540/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=0.69 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15167 0 0 0 67 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+1.50017 s]
/proc/loadavg: 4.91 4.84 4.71 5/265 176695
/proc/meminfo: memFree=103170540/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=1.49 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15167 0 0 0 147 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+3.10538 s]
/proc/loadavg: 4.91 4.84 4.71 5/265 176695
/proc/meminfo: memFree=103170984/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=3.09 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15170 0 0 0 307 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+6.30016 s]
/proc/loadavg: 4.84 4.83 4.70 5/265 176695
/proc/meminfo: memFree=103163044/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=105776 memory=70648 CPUtime=6.27 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 15173 0 0 0 625 2 0 0 20 0 1 0 237285413 108314624 17662 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 26444 17662 1120 6655 0 16679 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105776 KiB
Current children cumulated memory: 70648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.77 4.82 4.70 5/266 176696
/proc/meminfo: memFree=103022616/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=451180 memory=311932 CPUtime=13.06 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 81424 0 0 0 1294 12 0 0 20 0 2 0 237285413 462008320 77983 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 112795 77983 3328 6655 0 89717 0
[pid=176694/tid=176696] ppid=176691 vsize=451180 memory=229964 CPUtime=0.48 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 14693 0 0 0 47 1 0 0 20 0 2 0 237286422 462008320 77983 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 13.06 s
Current children cumulated vsize: 451180 KiB
Current children cumulated memory: 311932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.81 4.82 4.70 6/266 176696
/proc/meminfo: memFree=102784988/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=586268 memory=436652 CPUtime=38.43 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 211297 0 0 0 3813 30 0 0 20 0 2 0 237285413 600338432 109163 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 146567 109163 3392 6655 0 125195 0
[pid=176694/tid=176696] ppid=176691 vsize=586268 memory=433184 CPUtime=13.1 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 44531 0 0 0 1305 5 0 0 20 0 2 0 237286422 600338432 109163 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 38.43 s
Current children cumulated vsize: 586268 KiB
Current children cumulated memory: 436652 KiB
[startup+51.1055 s]
/proc/loadavg: 4.94 4.86 4.72 6/266 176697
/proc/meminfo: memFree=102480832/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=724772 memory=664864 CPUtime=89.27 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 320880 0 0 0 8881 46 0 0 20 0 2 0 237285413 742166528 166216 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 181193 166216 3392 6655 0 170605 0
[pid=176694/tid=176696] ppid=176691 vsize=724772 memory=661920 CPUtime=38.41 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 93229 0 0 0 3831 10 0 0 20 0 2 0 237286422 742166528 166216 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 89.27 s
Current children cumulated vsize: 724772 KiB
Current children cumulated memory: 664864 KiB
[startup+102.3 s]
/proc/loadavg: 5.02 4.90 4.74 6/267 176701
/proc/meminfo: memFree=102447224/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=724772 memory=670028 CPUtime=191.03 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 372000 0 0 0 19051 52 0 0 20 0 2 0 237285413 742166528 167507 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 181193 167507 3392 6655 0 171416 0
[pid=176694/tid=176696] ppid=176691 vsize=724772 memory=28160 CPUtime=89.12 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 120975 0 0 0 8897 15 0 0 20 0 2 0 237286422 742166528 167507 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 191.03 s
Current children cumulated vsize: 724772 KiB
Current children cumulated memory: 670028 KiB
[startup+162.3 s]
/proc/loadavg: 5.04 4.93 4.77 5/267 176707
/proc/meminfo: memFree=102253256/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=794012 memory=754992 CPUtime=301.82 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 703178 0 0 0 30065 117 0 0 20 0 2 0 237285413 813068288 188748 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 198503 188748 3424 6655 0 188726 0
[pid=176694/tid=176696] ppid=176691 vsize=794012 memory=583428 CPUtime=141.39 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) S 176691 176694 176007 0 -1 4194368 153570 0 0 0 14119 20 0 0 20 0 2 0 237286422 813068288 188748 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 301.82 s
Current children cumulated vsize: 794012 KiB
Current children cumulated memory: 754992 KiB
[startup+222.3 s]
/proc/loadavg: 5.00 4.95 4.78 6/267 176709
/proc/meminfo: memFree=102166352/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=843820 memory=800824 CPUtime=417.83 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 780665 0 0 0 41625 158 0 0 20 0 2 0 237285413 864071680 200206 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 210955 200206 3424 6655 0 201184 0
[pid=176694/tid=176696] ppid=176691 vsize=843820 memory=14384 CPUtime=198.92 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 163522 0 0 0 19839 53 0 0 20 0 2 0 237286422 864071680 200206 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 417.83 s
Current children cumulated vsize: 843820 KiB
Current children cumulated memory: 800824 KiB
[startup+282.3 s]
/proc/loadavg: 4.99 4.96 4.80 6/267 176711
/proc/meminfo: memFree=102259048/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=535.78 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 843156 0 0 0 53413 165 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=257.06 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 186797 0 0 0 25651 55 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 535.78 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+342.3 s]
/proc/loadavg: 5.32 5.05 4.84 6/267 176713
/proc/meminfo: memFree=102181448/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=655.1 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 864761 0 0 0 65342 168 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=316.52 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 203187 0 0 0 31595 57 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 655.1 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+402.3 s]
################
# More data... #
################
[startup+462.3 s]
/proc/loadavg: 5.21 5.10 4.90 6/267 176763
/proc/meminfo: memFree=98627956/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=893.73 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 899402 0 0 0 89200 173 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=435.45 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 221379 0 0 0 43486 59 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 893.73 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+522.3 s]
/proc/loadavg: 5.13 5.10 4.91 6/267 176765
/proc/meminfo: memFree=98584512/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1013.02 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 931712 0 0 0 101125 177 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=494.91 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 238705 0 0 0 49429 62 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1013.02 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+582.3 s]
/proc/loadavg: 5.09 5.09 4.92 6/267 176767
/proc/meminfo: memFree=98490832/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1132.3 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 934053 0 0 0 113052 178 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=554.37 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 240146 0 0 0 55374 63 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1132.3 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+642.3 s]
/proc/loadavg: 5.07 5.08 4.94 6/267 176769
/proc/meminfo: memFree=98392656/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1251.59 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 935132 0 0 0 124980 179 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=613.82 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 241023 0 0 0 61319 63 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1251.59 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+702.3 s]
/proc/loadavg: 5.16 5.11 4.96 6/266 176773
/proc/meminfo: memFree=98360308/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1370.86 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 935595 0 0 0 136907 179 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=673.28 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 241454 0 0 0 67264 64 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1370.86 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+733.482 s]
# the end of solver process 176694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1423.52 s, system=1.99089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 5.20 5.12 4.96 6/266 176773
/proc/meminfo: memFree=98319060/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1399.69 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 935852 0 0 0 139790 179 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=28160 CPUtime=687.65 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 241461 0 0 0 68701 64 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1399.69 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+723.2 s]
/proc/loadavg: 5.19 5.12 4.97 6/266 176774
/proc/meminfo: memFree=98314964/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=680412 memory=641484 CPUtime=1412.41 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) R 176691 176694 176007 0 -1 4194304 935863 0 0 0 141062 179 0 0 20 0 2 0 237285413 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 170103 160371 3424 6655 0 160332 0
[pid=176694/tid=176696] ppid=176691 vsize=680412 memory=641484 CPUtime=693.99 cores=4,6
/proc/176694/task/176696/stat : 176696 (LSIPExact) R 176691 176694 176007 0 -1 4194368 241461 0 0 0 69335 64 0 0 20 0 2 0 237286422 696741888 160371 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
Current children cumulated CPU time: 1412.41 s
Current children cumulated vsize: 680412 KiB
Current children cumulated memory: 641484 KiB
[startup+729.6 s]
/proc/loadavg: 5.17 5.12 4.97 5/267 176781
/proc/meminfo: memFree=97976056/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=626832 memory=586084 CPUtime=1418.17 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 950031 0 0 0 141637 180 0 0 20 0 1 0 237285413 641875968 146521 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 156708 146521 3424 6655 0 146937 0
[pid=176781] ppid=176694 vsize=372124 memory=356692 CPUtime=3.44 cores=4,6
/proc/176781/stat : 176781 (Exact) R 176694 176781 176781 0 -1 4194304 57204 0 0 0 331 13 0 0 20 0 1 0 237358024 381054976 89173 18446744073709551615 4198400 8335837 140729439675056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 38526976 140729439676601 140729439676955 140729439676955 140729439682511 0
/proc/176781/statm: 93031 89173 1120 1011 0 91798 0
Current children cumulated CPU time: 1421.61 s
Current children cumulated vsize: 998956 KiB
Current children cumulated memory: 942776 KiB
[startup+731.2 s]
/proc/loadavg: 5.16 5.12 4.97 6/267 176781
/proc/meminfo: memFree=96920712/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=626832 memory=586084 CPUtime=1418.17 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 950031 0 0 0 141637 180 0 0 20 0 1 0 237285413 641875968 146521 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 156708 146521 3424 6655 0 146937 0
[pid=176781] ppid=176694 vsize=372124 memory=359044 CPUtime=5.04 cores=4,6
/proc/176781/stat : 176781 (Exact) R 176694 176781 176781 0 -1 4194304 57304 0 0 0 491 13 0 0 20 0 1 0 237358024 381054976 89761 18446744073709551615 4198400 8335837 140729439675056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 38526976 140729439676601 140729439676955 140729439676955 140729439682511 0
/proc/176781/statm: 93031 89761 1120 1011 0 91798 0
Current children cumulated CPU time: 1423.21 s
Current children cumulated vsize: 998956 KiB
Current children cumulated memory: 945128 KiB
[startup+732.8 s]
/proc/loadavg: 5.16 5.12 4.97 6/267 176781
/proc/meminfo: memFree=96922188/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=626832 memory=586084 CPUtime=1418.17 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 950031 0 0 0 141637 180 0 0 20 0 1 0 237285413 641875968 146521 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 156708 146521 3424 6655 0 146937 0
[pid=176781] ppid=176694 vsize=373676 memory=362656 CPUtime=6.63 cores=4,6
/proc/176781/stat : 176781 (Exact) R 176694 176781 176781 0 -1 4194304 57738 0 0 0 650 13 0 0 20 0 1 0 237358024 382644224 90664 18446744073709551615 4198400 8335837 140729439675056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 38526976 140729439676601 140729439676955 140729439676955 140729439682511 0
/proc/176781/statm: 93419 90664 1120 1011 0 92186 0
Current children cumulated CPU time: 1424.8 s
Current children cumulated vsize: 1000508 KiB
Current children cumulated memory: 948740 KiB
[startup+733.2 s]
/proc/loadavg: 5.16 5.12 4.97 6/267 176781
/proc/meminfo: memFree=96881228/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=626832 memory=586084 CPUtime=1418.17 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 950031 0 0 0 141637 180 0 0 20 0 1 0 237285413 641875968 146521 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 156708 146521 3424 6655 0 146937 0
[pid=176781] ppid=176694 vsize=374732 memory=363808 CPUtime=7.03 cores=4,6
/proc/176781/stat : 176781 (Exact) R 176694 176781 176781 0 -1 4194304 58010 0 0 0 690 13 0 0 20 0 1 0 237358024 383725568 90952 18446744073709551615 4198400 8335837 140729439675056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 38526976 140729439676601 140729439676955 140729439676955 140729439682511 0
/proc/176781/statm: 93683 90952 1120 1011 0 92450 0
Current children cumulated CPU time: 1425.2 s
Current children cumulated vsize: 1001564 KiB
Current children cumulated memory: 949892 KiB
[startup+733.4 s]
/proc/loadavg: 5.16 5.12 4.97 6/267 176781
/proc/meminfo: memFree=96881228/131249996 swapFree=33010416/33010684
[pid=176694] ppid=176691 vsize=626832 memory=586084 CPUtime=1418.17 cores=4,6
/proc/176694/stat : 176694 (LSIPExact) S 176691 176694 176007 0 -1 4194304 950031 0 0 0 141637 180 0 0 20 0 1 0 237285413 641875968 146521 18446744073709551615 94046162317312 94046189574481 140733367016176 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94046198076552 94046198508160 94046213099520 140733367023960 140733367024136 140733367024136 140733367029740 0
/proc/176694/statm: 156708 146521 3424 6655 0 146937 0
[pid=176781] ppid=176694 vsize=291560 memory=284760 CPUtime=7.23 cores=4,6
/proc/176781/stat : 176781 (Exact) R 176694 176781 176781 0 -1 4194304 58558 0 0 0 710 13 0 0 20 0 1 0 237358024 298557440 71190 18446744073709551615 4198400 8335837 140729439675056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 38526976 140729439676601 140729439676955 140729439676955 140729439682511 0
/proc/176781/statm: 72890 71190 1120 1011 0 71657 0
Current children cumulated CPU time: 1425.4 s
Current children cumulated vsize: 918392 KiB
Current children cumulated memory: 870844 KiB
Child status: 0
Real time (s): 733.482
CPU time (s): 1425.51
CPU user time (s): 1423.52
CPU system time (s): 1.99089
CPU usage (%): 194.348
Max. virtual memory (cumulated for all children) (KiB): 1001564
Max. memory (cumulated for all children) (KiB): 949892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.52
system time used= 1.99089
maximum resident set size= 817912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021839
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= 418
involuntary context switches= 9173
# summary of solver processes directly reported to runsolver:
# pid: 176694
# total CPU time (s): 1425.51
# total CPU user time (s): 1423.52
# total CPU system time (s): 1.99089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46869 second user time and 3.35762 second system time
The end
Begin job on nodeC022 at 2025-07-22 22:27:56
IDJOB=4542363
IDBENCH=163921
IDSOLVER=3384
FILE ID=nodeC022/4542363-1753216076
RUNJOBID= nodeC022-1753211081-176018
SLURM_JOB_ID= 9687788
Free space on /tmp= 432604 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542363-1753216076/watcher-4542363-1753216076 -o /tmp/evaluation-result-4542363-1753216076/solver-4542363-1753216076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1753211081-176018 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542363-1753216076.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 623c8f5cac41c95d6cbe9efd54b08dc9
RANDOM SEED=1725207260
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.706
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.717
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 : 3522.642
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 : 3607.305
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 : 3700.000
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.711
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.704
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 : 3700.000
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: 103230264 kB
MemAvailable: 104617040 kB
Buffers: 2128 kB
Cached: 2136908 kB
SwapCached: 32 kB
Active: 26204940 kB
Inactive: 995152 kB
Active(anon): 25085152 kB
Inactive(anon): 2124 kB
Active(file): 1119788 kB
Inactive(file): 993028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46928 kB
Writeback: 12 kB
AnonPages: 25055812 kB
Mapped: 158324 kB
Shmem: 26220 kB
KReclaimable: 226000 kB
Slab: 322640 kB
SReclaimable: 226000 kB
SUnreclaim: 96640 kB
KernelStack: 4288 kB
PageTables: 52588 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 27239636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13158400 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 22:40:10