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 (42986 MiB free)
memory of node 1: 64465 MiB (54307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521996-1751583633/watcher-4521996-1751583633 -o /tmp/evaluation-result-4521996-1751583633/solver-4521996-1751583633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751579596-81599 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1885607630 HOME/instance-4521996-1751583633.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82192, runsolver pid=82189
[startup+0.100065 s]*
/proc/loadavg: 6.11 6.51 6.87 7/266 82194
/proc/meminfo: memFree=99631540/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=79500 memory=5120 CPUtime=0.17 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 740 0 0 0 16 1 0 0 20 0 2 0 74041858 81408000 1280 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 19875 1280 672 633 0 2755 0
[pid=82192/tid=82194] ppid=82189 vsize=79500 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 52 0 0 0 6 0 0 0 20 0 2 0 74041858 81408000 1280 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79500 KiB
Current children cumulated memory: 5120 KiB
[startup+0.205732 s]*
/proc/loadavg: 6.11 6.51 6.87 7/266 82194
/proc/meminfo: memFree=99631540/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=79500 memory=5120 CPUtime=0.36 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 754 0 0 0 35 1 0 0 20 0 2 0 74041858 81408000 1280 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 19875 1280 672 633 0 2755 0
[pid=82192/tid=82194] ppid=82189 vsize=79500 memory=664958721904869660 CPUtime=0.16 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 52 0 0 0 16 0 0 0 20 0 2 0 74041858 81408000 1280 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 79500 KiB
Current children cumulated memory: 5120 KiB
[startup+0.305817 s]*
/proc/loadavg: 6.11 6.51 6.87 7/266 82194
/proc/meminfo: memFree=99631856/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=79712 memory=5376 CPUtime=0.54 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 830 0 0 0 52 2 0 0 20 0 2 0 74041858 81625088 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 19928 1344 672 633 0 2808 0
[pid=82192/tid=82194] ppid=82189 vsize=79712 memory=7972084379044954731 CPUtime=0.24 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 52 0 0 0 24 0 0 0 20 0 2 0 74041858 81625088 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 79712 KiB
Current children cumulated memory: 5376 KiB
[startup+0.700152 s]
/proc/loadavg: 6.11 6.51 6.87 7/266 82194
/proc/meminfo: memFree=99631856/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=79844 memory=5376 CPUtime=1.31 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 862 0 0 0 127 4 0 0 20 0 2 0 74041858 81760256 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 19961 1344 672 633 0 2841 0
[pid=82192/tid=82194] ppid=82189 vsize=79844 memory=18432 CPUtime=0.62 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 52 0 0 0 62 0 0 0 20 0 2 0 74041858 81760256 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 79844 KiB
Current children cumulated memory: 5376 KiB
[startup+1.50016 s]
/proc/loadavg: 6.11 6.51 6.87 7/266 82194
/proc/meminfo: memFree=99683056/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=79844 memory=5376 CPUtime=2.86 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 1424 0 0 0 279 7 0 0 20 0 2 0 74041858 81760256 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 19961 1344 672 633 0 2841 0
[pid=82192/tid=82194] ppid=82189 vsize=79844 memory=18432 CPUtime=1.38 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 80 0 0 0 137 1 0 0 20 0 2 0 74041858 81760256 1344 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 79844 KiB
Current children cumulated memory: 5376 KiB
[startup+3.10578 s]
/proc/loadavg: 6.11 6.51 6.87 8/266 82194
/proc/meminfo: memFree=99631356/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80324 memory=5744 CPUtime=6.03 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 2201 0 0 0 590 13 0 0 20 0 2 0 74041858 82251776 1436 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20081 1436 672 633 0 2961 0
[pid=82192/tid=82194] ppid=82189 vsize=80324 memory=5504 CPUtime=2.95 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 191 0 0 0 293 2 0 0 20 0 2 0 74041858 82251776 1436 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 80324 KiB
Current children cumulated memory: 5744 KiB
[startup+6.30016 s]
/proc/loadavg: 6.18 6.52 6.87 7/266 82194
/proc/meminfo: memFree=99692820/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80456 memory=5872 CPUtime=12.36 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 2895 0 0 0 1213 23 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20114 1468 672 633 0 2994 0
[pid=82192/tid=82194] ppid=82189 vsize=80456 memory=18432 CPUtime=6.13 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 475 0 0 0 609 4 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 5872 KiB
[startup+12.7002 s]
/proc/loadavg: 6.17 6.51 6.86 7/266 82194
/proc/meminfo: memFree=99724324/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80456 memory=5872 CPUtime=25.02 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 3438 0 0 0 2459 43 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20114 1468 672 633 0 2994 0
[pid=82192/tid=82194] ppid=82189 vsize=80456 memory=5872 CPUtime=12.43 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 654 0 0 0 1234 9 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 5872 KiB
[startup+25.5002 s]
/proc/loadavg: 6.20 6.50 6.85 8/266 82195
/proc/meminfo: memFree=99624936/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80456 memory=5872 CPUtime=50.44 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 4505 0 0 0 4963 81 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20114 1468 672 633 0 2994 0
[pid=82192/tid=82194] ppid=82189 vsize=80456 memory=5872 CPUtime=25.14 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 976 0 0 0 2495 19 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 5872 KiB
[startup+51.1056 s]
/proc/loadavg: 6.36 6.51 6.85 7/266 82210
/proc/meminfo: memFree=99847144/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80456 memory=5872 CPUtime=101.26 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 4824 0 0 0 9965 161 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20114 1468 672 633 0 2994 0
[pid=82192/tid=82194] ppid=82189 vsize=80456 memory=18432 CPUtime=50.54 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 1149 0 0 0 5015 39 0 0 20 0 2 0 74041858 82386944 1468 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 101.26 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 5872 KiB
[startup+102.3 s]
/proc/loadavg: 6.48 6.51 6.83 8/266 82212
/proc/meminfo: memFree=99587484/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80456 memory=6000 CPUtime=202.83 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 5987 0 0 0 19967 316 0 0 20 0 2 0 74041858 82386944 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20114 1500 672 633 0 2994 0
[pid=82192/tid=82194] ppid=82189 vsize=80456 memory=18432 CPUtime=101.32 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 1389 0 0 0 10052 80 0 0 20 0 2 0 74041858 82386944 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 202.83 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 6000 KiB
[startup+162.3 s]
/proc/loadavg: 6.69 6.57 6.82 8/266 82214
/proc/meminfo: memFree=99554984/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=321.9 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 6051 0 0 0 31696 494 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=160.84 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 1390 0 0 0 15957 127 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 321.9 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+222.3 s]
/proc/loadavg: 6.75 6.59 6.82 8/266 82216
/proc/meminfo: memFree=99780484/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=440.95 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 7283 0 0 0 43416 679 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=18432 CPUtime=220.38 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 1524 0 0 0 21863 175 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 440.95 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+282.3 s]
/proc/loadavg: 6.55 6.56 6.79 8/267 82221
/proc/meminfo: memFree=99535412/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=558.91 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 7427 0 0 0 55043 848 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=278.81 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 1572 0 0 0 27665 216 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 558.91 s
Current children cumulated vsize: 80588 KiB
################
# More data... #
################
/proc/meminfo: memFree=99490132/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2344.47 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 10944 0 0 0 230962 3485 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1171.57 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2216 0 0 0 116301 856 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2344.47 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1242.3 s]
/proc/loadavg: 6.51 6.68 6.75 6/266 82310
/proc/meminfo: memFree=99383632/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2463.51 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 11634 0 0 0 242690 3661 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1231.06 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2352 0 0 0 122205 901 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2463.51 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1302.3 s]
/proc/loadavg: 6.72 6.71 6.75 8/266 82312
/proc/meminfo: memFree=99470856/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2582.55 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 12325 0 0 0 254417 3838 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1290.58 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2468 0 0 0 128114 944 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2582.55 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1362.3 s]
/proc/loadavg: 6.87 6.75 6.76 8/266 82314
/proc/meminfo: memFree=99668312/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2701.57 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 12328 0 0 0 266139 4018 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1350.08 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2468 0 0 0 134025 983 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2701.57 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1422.3 s]
/proc/loadavg: 6.74 6.74 6.76 7/266 82316
/proc/meminfo: memFree=99486200/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2820.63 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 13009 0 0 0 277872 4191 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1409.6 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2512 0 0 0 139934 1026 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2820.63 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1482.3 s]
/proc/loadavg: 6.67 6.72 6.75 9/266 82318
/proc/meminfo: memFree=99597552/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=2939.65 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 13021 0 0 0 289602 4363 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1469.14 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2512 0 0 0 145842 1072 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 2939.65 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1542.3 s]
/proc/loadavg: 6.65 6.71 6.74 7/267 82323
/proc/meminfo: memFree=99516392/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3058.66 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 13022 0 0 0 301326 4540 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1528.66 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2512 0 0 0 151749 1117 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3058.66 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1602.3 s]
/proc/loadavg: 6.71 6.72 6.74 8/267 82325
/proc/meminfo: memFree=99532880/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3177.7 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 13718 0 0 0 313057 4713 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1588.19 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2626 0 0 0 157660 1159 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3177.7 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1662.3 s]
/proc/loadavg: 6.54 6.65 6.72 8/267 82327
/proc/meminfo: memFree=99525784/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3296.71 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 13727 0 0 0 324780 4891 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1647.71 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2628 0 0 0 163567 1204 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3296.71 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1722.3 s]
/proc/loadavg: 6.62 6.65 6.72 10/267 82329
/proc/meminfo: memFree=99579728/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3415.72 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 14429 0 0 0 336508 5064 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=6000 CPUtime=1707.2 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2734 0 0 0 169472 1248 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3415.72 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
[startup+1782.3 s]
/proc/loadavg: 6.69 6.68 6.72 7/267 82335
/proc/meminfo: memFree=99487420/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3534.75 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 14429 0 0 0 348240 5235 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=10752 CPUtime=1766.73 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2734 0 0 0 175382 1291 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3534.75 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.2 s]
/proc/loadavg: 6.70 6.69 6.72 7/266 82337
/proc/meminfo: memFree=99492856/131249988 swapFree=33010416/33010684
[pid=82192] ppid=82189 vsize=80588 memory=6000 CPUtime=3600.02 cores=1,3
/proc/82192/stat : 82192 (pb_competition_) R 82189 82192 81584 0 -1 4194304 15130 0 0 0 354670 5332 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
/proc/82192/statm: 20147 1500 672 633 0 3027 0
[pid=82192/tid=82194] ppid=82189 vsize=80588 memory=18432 CPUtime=1799.37 cores=1,3
/proc/82192/task/82194/stat : 82194 (pb_competition_) R 82189 82192 81584 0 -1 4194368 2951 0 0 0 178624 1313 0 0 20 0 2 0 74041858 82522112 1500 18446744073709551615 4198400 6788177 140727794313072 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 40198144 140727794317657 140727794317784 140727794317784 140727794323386 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 80588 KiB
Current children cumulated memory: 6000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1815.21 s]
# the end of solver process 82192 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3546.72 s, system=53.322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1815.21
CPU time (s): 3600.04
CPU user time (s): 3546.72
CPU system time (s): 53.322
CPU usage (%): 198.327
Max. virtual memory (cumulated for all children) (KiB): 80588
Max. memory (cumulated for all children) (KiB): 6000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.72
system time used= 53.322
maximum resident set size= 6016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15284
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= 18963
involuntary context switches= 25835
# summary of solver processes directly reported to runsolver:
# pid: 82192
# total CPU time (s): 3600.04
# total CPU user time (s): 3546.72
# total CPU system time (s): 53.322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.5334 second user time and 8.8686 second system time
The end
Begin job on nodeC031 at 2025-07-04 01:00:33
IDJOB=4521996
IDBENCH=178526
IDSOLVER=3347
FILE ID=nodeC031/4521996-1751583633
RUNJOBID= nodeC031-1751579596-81599
SLURM_JOB_ID= 9598816
Free space on /tmp= 431956 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521996-1751583633/watcher-4521996-1751583633 -o /tmp/evaluation-result-4521996-1751583633/solver-4521996-1751583633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751579596-81599 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1885607630 HOME/instance-4521996-1751583633.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a823f9c7814d8d727e64ac969496cf55
RANDOM SEED=1885607630
nodeC031 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.552
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.78
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.638
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.78
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 : 3552.856
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.78
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 : 3606.963
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.78
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.841
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.78
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 : 3601.590
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.78
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.878
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.78
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.891
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 99629780 kB
MemAvailable: 120622544 kB
Buffers: 2128 kB
Cached: 21676504 kB
SwapCached: 12 kB
Active: 9466112 kB
Inactive: 21269784 kB
Active(anon): 9064848 kB
Inactive(anon): 10468 kB
Active(file): 401264 kB
Inactive(file): 21259316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5228 kB
Writeback: 4 kB
AnonPages: 9060288 kB
Mapped: 112400 kB
Shmem: 18052 kB
KReclaimable: 342844 kB
Slab: 435288 kB
SReclaimable: 342844 kB
SUnreclaim: 92444 kB
KernelStack: 4236 kB
PageTables: 20812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 9421836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2269184 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431952 MiB
End job on nodeC031 at 2025-07-04 01:30:48