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 (50191 MiB free)
memory of node 1: 64465 MiB (61019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520018-1751557500/watcher-4520018-1751557500 -o /tmp/evaluation-result-4520018-1751557500/solver-4520018-1751557500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751555530-79331 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1255435511 HOME/instance-4520018-1751557500.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79626, runsolver pid=79623
[startup+0.100058 s]*
/proc/loadavg: 8.00 7.79 7.12 8/268 79628
/proc/meminfo: memFree=113871972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=87644 memory=13928 CPUtime=0.17 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 3118 0 0 0 17 0 0 0 20 0 2 0 71427900 89747456 3482 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 21911 3482 672 633 0 4984 0
[pid=79626/tid=79628] ppid=79623 vsize=87644 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 245 0 0 0 7 0 0 0 20 0 2 0 71427901 89747456 3482 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 87644 KiB
Current children cumulated memory: 13928 KiB
[startup+0.20545 s]*
/proc/loadavg: 8.00 7.79 7.12 9/268 79628
/proc/meminfo: memFree=113871972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=87900 memory=14184 CPUtime=0.36 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) S 79623 79626 79297 0 -1 4194304 3178 0 0 0 36 0 0 0 20 0 2 0 71427900 90009600 3546 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 21975 3546 672 633 0 5048 0
[pid=79626/tid=79628] ppid=79623 vsize=87900 memory=664958721904869660 CPUtime=0.16 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 245 0 0 0 16 0 0 0 20 0 2 0 71427901 90009600 3546 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 87900 KiB
Current children cumulated memory: 14184 KiB
[startup+0.304936 s]*
/proc/loadavg: 8.00 7.79 7.12 8/268 79628
/proc/meminfo: memFree=113871972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=87900 memory=14184 CPUtime=0.56 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) S 79623 79626 79297 0 -1 4194304 3180 0 0 0 55 1 0 0 20 0 2 0 71427900 90009600 3546 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 21975 3546 672 633 0 5048 0
[pid=79626/tid=79628] ppid=79623 vsize=87900 memory=-7169020032666865507 CPUtime=0.25 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 245 0 0 0 25 0 0 0 20 0 2 0 71427901 90009600 3546 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 87900 KiB
Current children cumulated memory: 14184 KiB
[startup+0.700104 s]
/proc/loadavg: 8.00 7.79 7.12 8/268 79628
/proc/meminfo: memFree=113871972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=88044 memory=14312 CPUtime=1.28 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 3209 0 0 0 127 1 0 0 20 0 2 0 71427900 90157056 3578 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 22011 3578 672 633 0 5084 0
[pid=79626/tid=79628] ppid=79623 vsize=88044 memory=14336 CPUtime=0.59 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 245 0 0 0 59 0 0 0 20 0 2 0 71427901 90157056 3578 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 88044 KiB
Current children cumulated memory: 14312 KiB
[startup+1.50011 s]
/proc/loadavg: 8.00 7.79 7.12 8/268 79628
/proc/meminfo: memFree=113871972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=89184 memory=15592 CPUtime=2.84 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 5356 0 0 0 283 1 0 0 20 0 2 0 71427900 91324416 3898 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 22296 3898 672 633 0 5369 0
[pid=79626/tid=79628] ppid=79623 vsize=89184 memory=14336 CPUtime=1.36 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 383 0 0 0 136 0 0 0 20 0 2 0 71427901 91324416 3898 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 89184 KiB
Current children cumulated memory: 15592 KiB
[startup+3.10511 s]
/proc/loadavg: 8.00 7.79 7.12 9/268 79628
/proc/meminfo: memFree=113872208/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=91700 memory=18152 CPUtime=5.88 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 8291 0 0 0 586 2 0 0 20 0 2 0 71427900 93900800 4538 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 22925 4538 672 633 0 5998 0
[pid=79626/tid=79628] ppid=79623 vsize=91700 memory=16104 CPUtime=2.8 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 491 0 0 0 280 0 0 0 20 0 2 0 71427901 93900800 4538 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 91700 KiB
Current children cumulated memory: 18152 KiB
[startup+6.3001 s]
/proc/loadavg: 7.91 7.78 7.11 9/268 79628
/proc/meminfo: memFree=113872208/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19560 CPUtime=12.01 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 11511 0 0 0 1197 4 0 0 20 0 2 0 71427900 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4890 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=14336 CPUtime=5.76 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 733 0 0 0 576 0 0 0 20 0 2 0 71427901 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19560 KiB
[startup+12.7001 s]
/proc/loadavg: 7.92 7.78 7.12 8/268 79628
/proc/meminfo: memFree=113872216/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19560 CPUtime=23.35 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 16055 0 0 0 2328 7 0 0 20 0 2 0 71427900 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4890 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19560 CPUtime=10.72 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 1273 0 0 0 1071 1 0 0 20 0 2 0 71427901 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 23.35 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19560 KiB
[startup+25.5001 s]
/proc/loadavg: 7.64 7.72 7.11 8/268 79628
/proc/meminfo: memFree=113872216/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19560 CPUtime=36.11 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 16666 0 0 0 3600 11 0 0 20 0 2 0 71427900 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4890 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19560 CPUtime=10.72 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 1273 0 0 0 1071 1 0 0 20 0 2 0 71427901 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 36.11 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19560 KiB
[startup+51.105 s]
/proc/loadavg: 7.77 7.75 7.13 9/268 79629
/proc/meminfo: memFree=113868380/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19560 CPUtime=85 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 20865 0 0 0 8472 28 0 0 20 0 2 0 71427900 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4890 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=14336 CPUtime=34.15 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 1751 0 0 0 3411 4 0 0 20 0 2 0 71427901 95469568 4890 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 85 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19560 KiB
[startup+102.3 s]
/proc/loadavg: 7.80 7.76 7.17 7/268 79681
/proc/meminfo: memFree=113772764/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=184.45 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 22008 0 0 0 18387 58 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=82.75 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 1777 0 0 0 8264 11 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 184.45 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+162.3 s]
/proc/loadavg: 7.52 7.69 7.19 7/269 79684
/proc/meminfo: memFree=113695068/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=284.79 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 23055 0 0 0 28389 90 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=123.41 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 1907 0 0 0 12324 17 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 284.79 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+222.3 s]
/proc/loadavg: 7.52 7.66 7.20 8/270 79689
/proc/meminfo: memFree=113698256/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=393.99 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 23674 0 0 0 39280 119 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=172.98 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2060 0 0 0 17276 22 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 393.99 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+282.3 s]
/proc/loadavg: 7.62 7.66 7.23 9/269 79691
/proc/meminfo: memFree=113717092/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=511 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 23784 0 0 0 50947 153 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=230.34 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2083 0 0 0 23005 29 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 511 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
################
# More data... #
################
/proc/meminfo: memFree=113743700/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2385.07 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 25541 0 0 0 237754 753 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1150.63 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2307 0 0 0 114898 165 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2385.07 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1302.3 s]
/proc/loadavg: 7.60 7.77 7.60 9/267 79752
/proc/meminfo: memFree=113743608/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2502.13 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 25893 0 0 0 249423 790 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1208.08 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2364 0 0 0 120636 172 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1362.3 s]
/proc/loadavg: 7.57 7.72 7.60 9/267 79754
/proc/meminfo: memFree=113743332/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2619.19 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26245 0 0 0 261091 828 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1265.56 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2471 0 0 0 126374 182 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2619.19 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1422.3 s]
/proc/loadavg: 7.59 7.70 7.60 9/268 79759
/proc/meminfo: memFree=113743484/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2736.28 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26248 0 0 0 272760 868 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1323.04 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2471 0 0 0 132112 192 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2736.28 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1482.3 s]
/proc/loadavg: 7.30 7.60 7.57 8/268 79761
/proc/meminfo: memFree=113743588/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2853.42 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26596 0 0 0 284436 906 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1380.59 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2476 0 0 0 137857 202 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2853.42 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1542.3 s]
/proc/loadavg: 7.63 7.62 7.58 9/268 79763
/proc/meminfo: memFree=113744888/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=2970.36 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26598 0 0 0 296094 942 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=5632 CPUtime=1437.94 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2476 0 0 0 143584 210 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 2970.36 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1602.3 s]
/proc/loadavg: 7.75 7.66 7.59 8/267 79765
/proc/meminfo: memFree=113743552/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3087.65 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26937 0 0 0 307785 980 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1495.62 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2493 0 0 0 149343 219 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3087.65 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1662.3 s]
/proc/loadavg: 7.70 7.66 7.60 9/267 79767
/proc/meminfo: memFree=113743680/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3204.79 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26952 0 0 0 319467 1012 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=14156 CPUtime=1553.16 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2493 0 0 0 155089 227 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3204.79 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1722.3 s]
/proc/loadavg: 7.76 7.69 7.62 9/267 79769
/proc/meminfo: memFree=113743828/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3322.05 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 26952 0 0 0 331157 1048 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1610.79 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2493 0 0 0 160845 234 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3322.05 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1782.3 s]
/proc/loadavg: 7.76 7.70 7.63 8/266 79771
/proc/meminfo: memFree=113743972/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3439.29 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 27295 0 0 0 342845 1084 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=6772 CPUtime=1668.4 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) R 79623 79626 79297 0 -1 4194368 2506 0 0 0 166598 242 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3439.29 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
[startup+1842.3 s]
/proc/loadavg: 7.26 7.59 7.59 7/268 79866
/proc/meminfo: memFree=113642636/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3544.94 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 27306 0 0 0 353376 1118 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1714.42 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 2508 0 0 0 171192 250 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3544.94 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1897.6 s]
/proc/loadavg: 6.59 7.36 7.52 7/269 79873
/proc/meminfo: memFree=113603400/131249996 swapFree=33004236/33010684
[pid=79626] ppid=79623 vsize=93232 memory=19688 CPUtime=3600.06 cores=0,2
/proc/79626/stat : 79626 (pb_competition_) R 79623 79626 79297 0 -1 4194304 27306 0 0 0 358871 1135 0 0 20 0 2 0 71427900 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
/proc/79626/statm: 23308 4922 672 633 0 6381 0
[pid=79626/tid=79628] ppid=79623 vsize=93232 memory=19688 CPUtime=1714.42 cores=0,2
/proc/79626/task/79628/stat : 79628 (pb_competition_) S 79623 79626 79297 0 -1 4194368 2508 0 0 0 171192 250 0 0 20 0 2 0 71427901 95469568 4922 18446744073709551615 4198400 6788177 140728313229200 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 11841536 140728313231705 140728313231832 140728313231832 140728313237434 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 93232 KiB
Current children cumulated memory: 19688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1897.61 s]
# the end of solver process 79626 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.73 s, system=11.3514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1897.61
CPU time (s): 3600.08
CPU user time (s): 3588.73
CPU system time (s): 11.3514
CPU usage (%): 189.716
Max. virtual memory (cumulated for all children) (KiB): 93232
Max. memory (cumulated for all children) (KiB): 19688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.73
system time used= 11.3514
maximum resident set size= 19688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27634
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= 75316
involuntary context switches= 57564
# summary of solver processes directly reported to runsolver:
# pid: 79626
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.73
# total CPU system time (s): 11.3514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.31163 second user time and 7.13492 second system time
The end
Begin job on nodeC023 at 2025-07-03 17:45:00
IDJOB=4520018
IDBENCH=177668
IDSOLVER=3347
FILE ID=nodeC023/4520018-1751557500
RUNJOBID= nodeC023-1751555530-79331
SLURM_JOB_ID= 9598747
Free space on /tmp= 431856 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.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-4520018-1751557500/watcher-4520018-1751557500 -o /tmp/evaluation-result-4520018-1751557500/solver-4520018-1751557500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751555530-79331 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1255435511 HOME/instance-4520018-1751557500.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ad8f1e410d5e8b198fd980509237adb3
RANDOM SEED=1255435511
nodeC023 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.913
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.874
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 : 3599.882
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 : 3599.875
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.885
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 : 3599.893
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.903
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.869
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: 131249996 kB
MemFree: 113879524 kB
MemAvailable: 129645232 kB
Buffers: 16 kB
Cached: 16509632 kB
SwapCached: 592 kB
Active: 308440 kB
Inactive: 16304528 kB
Active(anon): 96280 kB
Inactive(anon): 20448 kB
Active(file): 212160 kB
Inactive(file): 16284080 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5188 kB
Writeback: 0 kB
AnonPages: 105832 kB
Mapped: 107496 kB
Shmem: 13404 kB
KReclaimable: 217412 kB
Slab: 307940 kB
SReclaimable: 217412 kB
SUnreclaim: 90528 kB
KernelStack: 4320 kB
PageTables: 3152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 459592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431848 MiB
End job on nodeC023 at 2025-07-03 18:16:38