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: 63708 MiB (61794 MiB free)
memory of node 1: 64465 MiB (63971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503159-1751134039/watcher-4503159-1751134039 -o /tmp/evaluation-result-4503159-1751134039/solver-4503159-1751134039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751133631-11676 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503159-1751134039.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12359, runsolver pid=12356
[startup+0.100056 s]*
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128784528/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=0.09 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 9 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+0.205151 s]*
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128784288/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=0.19 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 19 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+0.304449 s]*
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128784288/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=0.29 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 29 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+0.700098 s]
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128784288/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=0.68 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 68 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+1.50009 s]
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128784304/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=1.48 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 148 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+3.10474 s]
/proc/loadavg: 8.02 5.80 2.77 8/268 12360
/proc/meminfo: memFree=128783884/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=3.08 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 308 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+6.30009 s]
/proc/loadavg: 7.93 5.82 2.79 8/268 12360
/proc/meminfo: memFree=128784420/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=42652 memory=8192 CPUtime=6.28 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 1030 0 0 0 628 0 0 0 20 0 1 0 29081394 43675648 2048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 10663 2048 1184 6655 0 898 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 8192 KiB
[startup+12.7001 s]
/proc/loadavg: 7.86 5.84 2.81 9/269 12361
/proc/meminfo: memFree=128765068/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=130980 memory=35392 CPUtime=15.26 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 5266 0 0 0 1525 1 0 0 20 0 2 0 29081394 134123520 8848 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 32745 8848 3424 6655 0 7372 0
[pid=12359/tid=12361] ppid=12356 vsize=130980 memory=6512 CPUtime=2.59 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 807 0 0 0 259 0 0 0 20 0 2 0 29082395 134123520 8848 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 130980 KiB
Current children cumulated memory: 35392 KiB
[startup+25.5001 s]
/proc/loadavg: 7.89 5.95 2.90 9/269 12361
/proc/meminfo: memFree=128760320/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=141408 memory=48192 CPUtime=40.7 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 17246 0 0 0 4068 2 0 0 20 0 2 0 29081394 144801792 12048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 35352 12048 3488 6655 0 10645 0
[pid=12359/tid=12361] ppid=12356 vsize=141408 memory=17280 CPUtime=15.25 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 4612 0 0 0 1525 0 0 0 20 0 2 0 29082395 144801792 12048 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 40.7 s
Current children cumulated vsize: 141408 KiB
Current children cumulated memory: 48192 KiB
[startup+51.1053 s]
/proc/loadavg: 8.00 6.13 3.04 9/269 12362
/proc/meminfo: memFree=128739780/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=141408 memory=50112 CPUtime=91.64 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 21607 0 0 0 9162 2 0 0 20 0 2 0 29081394 144801792 12528 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 35352 12528 3488 6655 0 11108 0
[pid=12359/tid=12361] ppid=12356 vsize=141408 memory=50112 CPUtime=40.64 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 6743 0 0 0 4064 0 0 0 20 0 2 0 29082395 144801792 12528 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 91.64 s
Current children cumulated vsize: 141408 KiB
Current children cumulated memory: 50112 KiB
[startup+102.3 s]
/proc/loadavg: 8.07 6.43 3.31 9/269 12363
/proc/meminfo: memFree=128736540/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=155004 memory=54628 CPUtime=191.28 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 32268 0 0 0 19125 3 0 0 20 0 2 0 29081394 158724096 13657 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 38751 13657 3488 6655 0 14574 0
[pid=12359/tid=12361] ppid=12356 vsize=155004 memory=14848 CPUtime=91.08 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 11152 0 0 0 9107 1 0 0 20 0 2 0 29082395 158724096 13657 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 191.28 s
Current children cumulated vsize: 155004 KiB
Current children cumulated memory: 54628 KiB
[startup+162.3 s]
/proc/loadavg: 8.08 6.74 3.61 9/267 12365
/proc/meminfo: memFree=128692512/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=195824 memory=109600 CPUtime=310.51 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 42568 0 0 0 31046 5 0 0 20 0 2 0 29081394 200523776 27400 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 48956 27400 3488 6655 0 26592 0
[pid=12359/tid=12361] ppid=12356 vsize=195824 memory=107168 CPUtime=150.48 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 13065 0 0 0 15047 1 0 0 20 0 2 0 29082395 200523776 27400 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 310.51 s
Current children cumulated vsize: 195824 KiB
Current children cumulated memory: 109600 KiB
[startup+222.3 s]
/proc/loadavg: 8.07 6.98 3.89 9/267 12367
/proc/meminfo: memFree=128640760/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=117020 CPUtime=427.04 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 66051 0 0 0 42696 8 0 0 20 0 2 0 29081394 206790656 29255 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 29255 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=117020 CPUtime=208.94 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 26925 0 0 0 20892 2 0 0 20 0 2 0 29082395 206790656 29255 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 427.04 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 117020 KiB
[startup+282.3 s]
/proc/loadavg: 8.04 7.17 4.15 9/268 12374
/proc/meminfo: memFree=128654728/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=119068 CPUtime=546.26 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 67219 0 0 0 54618 8 0 0 20 0 2 0 29081394 206790656 29767 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 29767 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=14848 CPUtime=268.34 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 27565 0 0 0 26831 3 0 0 20 0 2 0 29082395 206790656 29767 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 546.26 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 119068 KiB
[startup+342.3 s]
/proc/loadavg: 7.49 7.21 4.36 8/269 12427
/proc/meminfo: memFree=128658848/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=119068 CPUtime=665.62 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 70328 0 0 0 66553 9 0 0 20 0 2 0 29081394 206790656 29767 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 29767 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=17280 CPUtime=327.82 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 27756 0 0 0 32779 3 0 0 20 0 2 0 29082395 206790656 29767 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 665.62 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 119068 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=12359] ppid=12356 vsize=201944 memory=121628 CPUtime=1142.71 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 76219 0 0 0 114261 10 0 0 20 0 2 0 29081394 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 30407 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=4252 CPUtime=565.55 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 31002 0 0 0 56552 3 0 0 20 0 2 0 29082395 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 1142.71 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 121628 KiB
[startup+642.3 s]
/proc/loadavg: 7.08 7.10 5.11 8/267 12484
/proc/meminfo: memFree=128194500/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=121628 CPUtime=1261.9 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 76801 0 0 0 126180 10 0 0 20 0 2 0 29081394 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 30407 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=4252 CPUtime=624.96 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 31548 0 0 0 62492 4 0 0 20 0 2 0 29082395 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 1261.9 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 121628 KiB
[startup+702.3 s]
/proc/loadavg: 7.13 7.11 5.24 8/267 12486
/proc/meminfo: memFree=128177464/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=121628 CPUtime=1381.12 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 77420 0 0 0 138102 10 0 0 20 0 2 0 29081394 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 30407 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=4252 CPUtime=684.37 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 32098 0 0 0 68433 4 0 0 20 0 2 0 29082395 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 1381.12 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 121628 KiB
[startup+752.507 s]
# the end of solver process 12359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1454.42 s, system=0.222089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 7.10 7.10 5.27 8/267 12486
/proc/meminfo: memFree=128177724/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=201944 memory=121628 CPUtime=1409.93 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) R 12356 12359 11659 0 -1 4194304 77420 0 0 0 140983 10 0 0 20 0 2 0 29081394 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 50486 30407 3488 6655 0 31454 0
[pid=12359/tid=12361] ppid=12356 vsize=201944 memory=14848 CPUtime=698.73 cores=5,7
/proc/12359/task/12361/stat : 12361 (LSIPExact) R 12356 12359 11659 0 -1 4194368 32098 0 0 0 69869 4 0 0 20 0 2 0 29082395 206790656 30407 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
Current children cumulated CPU time: 1409.93 s
Current children cumulated vsize: 201944 KiB
Current children cumulated memory: 121628 KiB
[startup+729.6 s]
/proc/loadavg: 7.08 7.10 5.29 7/266 12489
/proc/meminfo: memFree=128204092/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=40692 memory=29420 CPUtime=3.55 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 4544 0 0 0 354 1 0 0 20 0 1 0 29153995 41668608 7355 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 10173 7355 1120 1011 0 8940 0
Current children cumulated CPU time: 1431.77 s
Current children cumulated vsize: 203720 KiB
Current children cumulated memory: 120568 KiB
[startup+742.4 s]
/proc/loadavg: 6.92 7.06 5.31 7/266 12489
/proc/meminfo: memFree=128199808/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=45524 memory=38256 CPUtime=16.31 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 5763 0 0 0 1626 5 0 0 20 0 1 0 29153995 46616576 9564 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 11381 9564 1120 1011 0 10148 0
Current children cumulated CPU time: 1444.53 s
Current children cumulated vsize: 208552 KiB
Current children cumulated memory: 129404 KiB
[startup+748.8 s]
/proc/loadavg: 6.84 7.04 5.31 7/266 12489
/proc/meminfo: memFree=128179076/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60208 memory=43644 CPUtime=22.7 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6290 0 0 0 2260 10 0 0 20 0 1 0 29153995 61652992 10911 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15052 10911 1120 1011 0 13819 0
Current children cumulated CPU time: 1450.92 s
Current children cumulated vsize: 223236 KiB
Current children cumulated memory: 134792 KiB
[startup+750.4 s]
/proc/loadavg: 6.78 7.02 5.31 7/266 12489
/proc/meminfo: memFree=128179076/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60208 memory=43644 CPUtime=24.29 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6295 0 0 0 2419 10 0 0 20 0 1 0 29153995 61652992 10911 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15052 10911 1120 1011 0 13819 0
Current children cumulated CPU time: 1452.51 s
Current children cumulated vsize: 223236 KiB
Current children cumulated memory: 134792 KiB
[startup+751.2 s]
/proc/loadavg: 6.78 7.02 5.31 7/266 12489
/proc/meminfo: memFree=128180824/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60208 memory=43644 CPUtime=25.08 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6296 0 0 0 2498 10 0 0 20 0 1 0 29153995 61652992 10911 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15052 10911 1120 1011 0 13819 0
Current children cumulated CPU time: 1453.3 s
Current children cumulated vsize: 223236 KiB
Current children cumulated memory: 134792 KiB
[startup+752 s]*
/proc/loadavg: 6.78 7.02 5.31 7/266 12489
/proc/meminfo: memFree=128179564/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60880 memory=44284 CPUtime=25.89 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6468 0 0 0 2579 10 0 0 20 0 1 0 29153995 62341120 11071 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15220 11071 1120 1011 0 13987 0
Current children cumulated CPU time: 1454.11 s
Current children cumulated vsize: 223908 KiB
Current children cumulated memory: 135432 KiB
[startup+752.4 s]
/proc/loadavg: 6.78 7.02 5.31 7/266 12489
/proc/meminfo: memFree=128179564/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60880 memory=44284 CPUtime=26.28 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6468 0 0 0 2618 10 0 0 20 0 1 0 29153995 62341120 11071 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15220 11071 1120 1011 0 13987 0
Current children cumulated CPU time: 1454.5 s
Current children cumulated vsize: 223908 KiB
Current children cumulated memory: 135432 KiB
[startup+752.5 s]
/proc/loadavg: 6.78 7.02 5.31 7/266 12489
/proc/meminfo: memFree=128179564/131249996 swapFree=33010684/33010684
[pid=12359] ppid=12356 vsize=163028 memory=91148 CPUtime=1428.22 cores=5,7
/proc/12359/stat : 12359 (LSIPExact) S 12356 12359 11659 0 -1 4194304 77463 0 0 0 142812 10 0 0 20 0 1 0 29081394 166940672 22787 18446744073709551615 93979215503360 93979242759761 140727100262864 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93979251262600 93979251694208 93979274436608 140727100266842 140727100267018 140727100267018 140727100272620 0
/proc/12359/statm: 40757 22787 3520 6655 0 21725 0
[pid=12489] ppid=12359 vsize=60880 memory=44284 CPUtime=26.38 cores=5,7
/proc/12489/stat : 12489 (Exact) R 12359 12489 12489 0 -1 4194304 6468 0 0 0 2628 10 0 0 20 0 1 0 29153995 62341120 11071 18446744073709551615 4198400 8335837 140730838121104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 19501056 140730838128827 140730838129181 140730838129181 140730838134735 0
/proc/12489/statm: 15220 11071 1120 1011 0 13987 0
Current children cumulated CPU time: 1454.6 s
Current children cumulated vsize: 223908 KiB
Current children cumulated memory: 135432 KiB
Child status: 0
Real time (s): 752.507
CPU time (s): 1454.64
CPU user time (s): 1454.42
CPU system time (s): 0.222089
CPU usage (%): 193.306
Max. virtual memory (cumulated for all children) (KiB): 224472
Max. memory (cumulated for all children) (KiB): 137756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1454.42
system time used= 0.222089
maximum resident set size= 141600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84329
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= 381
involuntary context switches= 29024
# summary of solver processes directly reported to runsolver:
# pid: 12359
# total CPU time (s): 1454.64
# total CPU user time (s): 1454.42
# total CPU system time (s): 0.222089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48082 second user time and 3.23759 second system time
The end
Begin job on nodeC015 at 2025-06-28 20:07:19
IDJOB=4503159
IDBENCH=155407
IDSOLVER=3336
FILE ID=nodeC015/4503159-1751134039
RUNJOBID= nodeC015-1751133631-11676
SLURM_JOB_ID= 9587415
Free space on /tmp= 432928 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-849702.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503159-1751134039/watcher-4503159-1751134039 -o /tmp/evaluation-result-4503159-1751134039/solver-4503159-1751134039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751133631-11676 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503159-1751134039.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 99577d0b2060d1d3afdf18d9c444f818
RANDOM SEED=1248656310
nodeC015 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 : 3600.035
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
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 : 7000.14
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 : 3600.073
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 : 7000.14
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 : 3600.065
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 : 7000.14
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.994
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 : 7000.14
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 : 3600.057
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 : 7000.14
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 : 3600.075
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.929
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128784240 kB
MemAvailable: 128510608 kB
Buffers: 3280 kB
Cached: 538292 kB
SwapCached: 0 kB
Active: 1504048 kB
Inactive: 331768 kB
Active(anon): 1312324 kB
Inactive(anon): 0 kB
Active(file): 191724 kB
Inactive(file): 331768 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44824 kB
Writeback: 4 kB
AnonPages: 1296884 kB
Mapped: 138852 kB
Shmem: 18076 kB
KReclaimable: 84228 kB
Slab: 166276 kB
SReclaimable: 84228 kB
SUnreclaim: 82048 kB
KernelStack: 4320 kB
PageTables: 5604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1656148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 526336 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432880 MiB
End job on nodeC015 at 2025-06-28 20:19:52