runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60833 MiB free)
memory of node 1: 64507 MiB (59872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521571-1751568282/watcher-4521571-1751568282 -o /tmp/evaluation-result-4521571-1751568282/solver-4521571-1751568282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83968 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521571-1751568282.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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=84983, runsolver pid=84980
[startup+0.100067 s]*
/proc/loadavg: 7.88 7.83 7.63 8/268 84984
/proc/meminfo: memFree=123603268/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=0.09 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 9 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+0.206169 s]*
/proc/loadavg: 7.88 7.83 7.63 8/268 84984
/proc/meminfo: memFree=123603268/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=0.2 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 20 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+0.306077 s]*
/proc/loadavg: 7.88 7.83 7.63 8/268 84984
/proc/meminfo: memFree=123603268/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=0.3 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 30 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+0.700196 s]
/proc/loadavg: 7.88 7.83 7.63 8/268 84984
/proc/meminfo: memFree=123603268/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=0.68 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 68 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+1.50019 s]
/proc/loadavg: 7.88 7.83 7.63 8/268 84984
/proc/meminfo: memFree=123603732/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=1.48 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 148 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+3.10589 s]
/proc/loadavg: 7.88 7.83 7.63 8/268 84985
/proc/meminfo: memFree=123604064/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=3.08 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 308 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+6.30019 s]
/proc/loadavg: 7.81 7.81 7.63 8/268 84985
/proc/meminfo: memFree=123604580/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=43908 memory=9344 CPUtime=6.27 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 1323 0 0 0 627 0 0 0 20 0 1 0 72506014 44961792 2336 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 10977 2336 1184 6655 0 1212 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 9344 KiB
[startup+12.7002 s]
/proc/loadavg: 7.75 7.80 7.63 9/269 84986
/proc/meminfo: memFree=123636712/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=150264 memory=58968 CPUtime=15.27 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 11234 0 0 0 1525 2 0 0 20 0 2 0 72506014 153870336 14742 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 37566 14742 3456 6655 0 13424 0
[pid=84983/tid=84986] ppid=84980 vsize=150264 memory=58968 CPUtime=2.61 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 2120 0 0 0 261 0 0 0 20 0 2 0 72507015 153870336 14742 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 150264 KiB
Current children cumulated memory: 58968 KiB
[startup+25.5002 s]
/proc/loadavg: 7.88 7.83 7.64 9/269 84986
/proc/meminfo: memFree=123623960/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=152520 memory=66648 CPUtime=40.66 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 29990 0 0 0 4062 4 0 0 20 0 2 0 72506014 156180480 16662 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 38130 16662 3456 6655 0 15017 0
[pid=84983/tid=84986] ppid=84980 vsize=152520 memory=66648 CPUtime=15.25 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 9747 0 0 0 1524 1 0 0 20 0 2 0 72507015 156180480 16662 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 40.66 s
Current children cumulated vsize: 152520 KiB
Current children cumulated memory: 66648 KiB
[startup+51.1061 s]
/proc/loadavg: 7.92 7.84 7.65 9/269 84986
/proc/meminfo: memFree=123596276/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=155044 memory=72792 CPUtime=91.48 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 38722 0 0 0 9142 6 0 0 20 0 2 0 72506014 158765056 18198 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 38761 18198 3456 6655 0 16491 0
[pid=84983/tid=84986] ppid=84980 vsize=155044 memory=68184 CPUtime=40.56 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 13757 0 0 0 4054 2 0 0 20 0 2 0 72507015 158765056 18198 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 91.48 s
Current children cumulated vsize: 155044 KiB
Current children cumulated memory: 72792 KiB
[startup+102.3 s]
/proc/loadavg: 7.93 7.85 7.66 9/269 84988
/proc/meminfo: memFree=123578944/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=161852 memory=90840 CPUtime=191.3 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 63618 0 0 0 19121 9 0 0 20 0 2 0 72506014 165736448 22710 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 40463 22710 3488 6655 0 21335 0
[pid=84983/tid=84986] ppid=84980 vsize=161852 memory=90840 CPUtime=89.66 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 26006 0 0 0 8962 4 0 0 20 0 2 0 72507015 165736448 22710 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 191.3 s
Current children cumulated vsize: 161852 KiB
Current children cumulated memory: 90840 KiB
[startup+162.3 s]
/proc/loadavg: 8.16 7.94 7.71 9/269 84990
/proc/meminfo: memFree=123568972/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=162572 memory=92632 CPUtime=310.36 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 75017 0 0 0 31026 10 0 0 20 0 2 0 72506014 166473728 23158 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 40643 23158 3488 6655 0 21805 0
[pid=84983/tid=84986] ppid=84980 vsize=162572 memory=91992 CPUtime=148.93 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 32515 0 0 0 14889 4 0 0 20 0 2 0 72507015 166473728 23158 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 310.36 s
Current children cumulated vsize: 162572 KiB
Current children cumulated memory: 92632 KiB
[startup+222.3 s]
/proc/loadavg: 8.11 7.97 7.73 9/269 84997
/proc/meminfo: memFree=123566020/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=163288 memory=93400 CPUtime=429.44 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 83893 0 0 0 42933 11 0 0 20 0 2 0 72506014 167206912 23350 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 40822 23350 3488 6655 0 21984 0
[pid=84983/tid=84986] ppid=84980 vsize=163288 memory=93400 CPUtime=208.23 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 38204 0 0 0 20818 5 0 0 20 0 2 0 72507015 167206912 23350 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 429.44 s
Current children cumulated vsize: 163288 KiB
Current children cumulated memory: 93400 KiB
[startup+282.3 s]
/proc/loadavg: 8.08 7.99 7.76 9/269 84999
/proc/meminfo: memFree=123555904/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=165184 memory=95448 CPUtime=548.51 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 99688 0 0 0 54838 13 0 0 20 0 2 0 72506014 169148416 23862 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 41296 23862 3488 6655 0 22458 0
[pid=84983/tid=84986] ppid=84980 vsize=165184 memory=93656 CPUtime=267.53 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 45454 0 0 0 26747 6 0 0 20 0 2 0 72507015 169148416 23862 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 548.51 s
Current children cumulated vsize: 165184 KiB
Current children cumulated memory: 95448 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 8.01 7.78 9/267 85001
/proc/meminfo: memFree=123530964/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=175148 memory=117848 CPUtime=667.61 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 105561 0 0 0 66746 15 0 0 20 0 2 0 72506014 179351552 29462 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 43787 29462 3488 6655 0 27941 0
[pid=84983/tid=84986] ppid=84980 vsize=175148 memory=103896 CPUtime=326.84 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 48627 0 0 0 32677 7 0 0 20 0 2 0 72507015 179351552 29462 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 667.61 s
Current children cumulated vsize: 175148 KiB
Current children cumulated memory: 117848 KiB
################
# More data... #
################
Current children cumulated CPU time: 2811.82 s
Current children cumulated vsize: 581088 KiB
Current children cumulated memory: 537428 KiB
[startup+1482.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/270 85210
/proc/meminfo: memFree=124611160/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=593536 memory=561236 CPUtime=2930.96 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 308576 0 0 0 293036 60 0 0 20 0 2 0 72506014 607780864 140309 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 148384 140309 3488 6655 0 138613 0
[pid=84983/tid=84986] ppid=84980 vsize=593536 memory=550228 CPUtime=1454.25 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 159212 0 0 0 145389 36 0 0 20 0 2 0 72507015 607780864 140309 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 2930.96 s
Current children cumulated vsize: 593536 KiB
Current children cumulated memory: 561236 KiB
[startup+1542.3 s]
/proc/loadavg: 8.16 8.08 8.01 9/268 85212
/proc/meminfo: memFree=124521000/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=667648 memory=577040 CPUtime=3050.07 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 330082 0 0 0 304940 67 0 0 20 0 2 0 72506014 683671552 144260 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 166912 144260 3488 6655 0 142911 0
[pid=84983/tid=84986] ppid=84980 vsize=667648 memory=14824 CPUtime=1513.78 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 178947 0 0 0 151335 43 0 0 20 0 2 0 72507015 683671552 144260 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3050.07 s
Current children cumulated vsize: 667648 KiB
Current children cumulated memory: 577040 KiB
[startup+1602.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/267 85215
/proc/meminfo: memFree=124445108/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=676172 memory=595472 CPUtime=3169.19 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 334998 0 0 0 316850 69 0 0 20 0 2 0 72506014 692400128 148868 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 169043 148868 3488 6655 0 146985 0
[pid=84983/tid=84986] ppid=84980 vsize=676172 memory=14824 CPUtime=1573.49 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 181552 0 0 0 157305 44 0 0 20 0 2 0 72507015 692400128 148868 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3169.19 s
Current children cumulated vsize: 676172 KiB
Current children cumulated memory: 595472 KiB
[startup+1662.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/267 85217
/proc/meminfo: memFree=124396044/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=687864 memory=619536 CPUtime=3288.34 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 341189 0 0 0 328763 71 0 0 20 0 2 0 72506014 704372736 154884 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 171966 154884 3488 6655 0 153034 0
[pid=84983/tid=84986] ppid=84980 vsize=687864 memory=14824 CPUtime=1633.28 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 184676 0 0 0 163283 45 0 0 20 0 2 0 72507015 704372736 154884 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3288.34 s
Current children cumulated vsize: 687864 KiB
Current children cumulated memory: 619536 KiB
[startup+1722.3 s]
/proc/loadavg: 7.96 8.06 8.01 8/266 85265
/proc/meminfo: memFree=124693660/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=697656 memory=641680 CPUtime=3407.49 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 347068 0 0 0 340677 72 0 0 20 0 2 0 72506014 714399744 160420 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 174414 160420 3488 6655 0 158611 0
[pid=84983/tid=84986] ppid=84980 vsize=697656 memory=14824 CPUtime=1693.07 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 188197 0 0 0 169261 46 0 0 20 0 2 0 72507015 714399744 160420 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3407.49 s
Current children cumulated vsize: 697656 KiB
Current children cumulated memory: 641680 KiB
[startup+1782.3 s]
/proc/loadavg: 8.00 8.05 8.00 9/267 85268
/proc/meminfo: memFree=124510624/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=704696 memory=655376 CPUtime=3526.62 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 354144 0 0 0 352589 73 0 0 20 0 2 0 72506014 721608704 163844 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 176174 163844 3488 6655 0 162225 0
[pid=84983/tid=84986] ppid=84980 vsize=704696 memory=650000 CPUtime=1752.87 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 193491 0 0 0 175240 47 0 0 20 0 2 0 72507015 721608704 163844 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3526.62 s
Current children cumulated vsize: 704696 KiB
Current children cumulated memory: 655376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.3 s]
/proc/loadavg: 8.05 8.06 8.01 9/266 85269
/proc/meminfo: memFree=124492024/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=714304 memory=668944 CPUtime=3600.1 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) R 84980 84983 83956 0 -1 4194304 357539 0 0 0 359937 73 0 0 20 0 2 0 72506014 731447296 167236 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 178576 167236 3488 6655 0 165812 0
[pid=84983/tid=84986] ppid=84980 vsize=714304 memory=665744 CPUtime=1789.74 cores=1,3
/proc/84983/task/84986/stat : 84986 (LSIPExact) R 84980 84983 83956 0 -1 4194368 194601 0 0 0 178927 47 0 0 20 0 2 0 72507015 731447296 167236 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 714304 KiB
Current children cumulated memory: 668944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1821.31 s]
# the end of solver process 84983 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3601.28 s, system=0.816114 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1820 s]*
/proc/loadavg: 8.05 8.06 8.01 8/267 85274
/proc/meminfo: memFree=124491680/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=714304 memory=629948 CPUtime=3600.14 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) S 84980 84983 83956 0 -1 4194304 359549 225 0 0 359940 74 0 0 20 0 1 0 72506014 731447296 157487 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 178576 157487 3520 6655 0 165812 0
[pid=85274] ppid=84983 vsize=62500 memory=49700 CPUtime=0.64 cores=1,3
/proc/85274/stat : 85274 (Exact) R 84983 85274 85274 0 -1 4194304 9727 0 0 0 61 3 0 0 20 0 1 0 72687948 64000000 12425 18446744073709551615 4198400 8335837 140722829658976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 32100352 140722829666484 140722829666845 140722829666845 140722829672399 0
/proc/85274/statm: 15625 12425 1120 1011 0 14392 0
Current children cumulated CPU time: 3600.78 s
Current children cumulated vsize: 776804 KiB
Current children cumulated memory: 679648 KiB
[startup+1820.8 s]
/proc/loadavg: 8.05 8.06 8.01 8/267 85274
/proc/meminfo: memFree=124491680/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=714304 memory=629948 CPUtime=3600.14 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) S 84980 84983 83956 0 -1 4194304 359549 225 0 0 359940 74 0 0 20 0 1 0 72506014 731447296 157487 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 178576 157487 3520 6655 0 165812 0
[pid=85274] ppid=84983 vsize=79060 memory=67936 CPUtime=1.43 cores=1,3
/proc/85274/stat : 85274 (Exact) R 84983 85274 85274 0 -1 4194304 13794 0 0 0 138 5 0 0 20 0 1 0 72687948 80957440 16984 18446744073709551615 4198400 8335837 140722829658976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 32100352 140722829666484 140722829666845 140722829666845 140722829672399 0
/proc/85274/statm: 19765 16984 1120 1011 0 18532 0
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 793364 KiB
Current children cumulated memory: 697884 KiB
[startup+1821.2 s]
/proc/loadavg: 7.97 8.04 8.00 8/267 85274
/proc/meminfo: memFree=124459296/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=714304 memory=629948 CPUtime=3600.14 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) S 84980 84983 83956 0 -1 4194304 359549 225 0 0 359940 74 0 0 20 0 1 0 72506014 731447296 157487 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 178576 157487 3520 6655 0 165812 0
[pid=85274] ppid=84983 vsize=101808 memory=79364 CPUtime=1.82 cores=1,3
/proc/85274/stat : 85274 (Exact) R 84983 85274 85274 0 -1 4194304 15853 0 0 0 177 5 0 0 20 0 1 0 72687948 104251392 19841 18446744073709551615 4198400 8335837 140722829658976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 32100352 140722829666484 140722829666845 140722829666845 140722829672399 0
/proc/85274/statm: 25452 19841 1120 1011 0 24219 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 816112 KiB
Current children cumulated memory: 709312 KiB
[startup+1821.3 s]
/proc/loadavg: 7.97 8.04 8.00 8/267 85274
/proc/meminfo: memFree=124459296/131249996 swapFree=33010672/33010684
[pid=84983] ppid=84980 vsize=714304 memory=629948 CPUtime=3600.14 cores=1,3
/proc/84983/stat : 84983 (LSIPExact) S 84980 84983 83956 0 -1 4194304 359549 225 0 0 359940 74 0 0 20 0 1 0 72506014 731447296 157487 18446744073709551615 94386191876096 94386219132497 140721804434768 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94386227635336 94386228066944 94386248413184 140721804437850 140721804438026 140721804438026 140721804443628 0
/proc/84983/statm: 178576 157487 3520 6655 0 165812 0
[pid=85274] ppid=84983 vsize=102528 memory=82248 CPUtime=1.92 cores=1,3
/proc/85274/stat : 85274 (Exact) R 84983 85274 85274 0 -1 4194304 16060 0 0 0 187 5 0 0 20 0 1 0 72687948 104988672 20562 18446744073709551615 4198400 8335837 140722829658976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 32100352 140722829666484 140722829666845 140722829666845 140722829672399 0
/proc/85274/statm: 25632 20562 1120 1011 0 24399 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 816832 KiB
Current children cumulated memory: 712196 KiB
Child status: 0
Real time (s): 1821.31
CPU time (s): 3602.09
CPU user time (s): 3601.28
CPU system time (s): 0.816114
CPU usage (%): 197.775
Max. virtual memory (cumulated for all children) (KiB): 816832
Max. memory (cumulated for all children) (KiB): 712196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.28
system time used= 0.816114
maximum resident set size= 669072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376249
page faults= 0
swaps= 0
block input operations= 336
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 110099
# summary of solver processes directly reported to runsolver:
# pid: 84983
# total CPU time (s): 3602.09
# total CPU user time (s): 3601.28
# total CPU system time (s): 0.816114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.24451 second user time and 9.96045 second system time
The end
Begin job on nodeC017 at 2025-07-03 20:44:42
IDJOB=4521571
IDBENCH=178385
IDSOLVER=3336
FILE ID=nodeC017/4521571-1751568282
RUNJOBID= nodeC017-1751565791-83968
SLURM_JOB_ID= 9598774
Free space on /tmp= 432324 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521571-1751568282/watcher-4521571-1751568282 -o /tmp/evaluation-result-4521571-1751568282/solver-4521571-1751568282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83968 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521571-1751568282.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8209c0ad8f9bd935962228118681b22b
RANDOM SEED=1223630745
nodeC017 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.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.116
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.345
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3605.807
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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.893
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.035
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123603220 kB
MemAvailable: 127415976 kB
Buffers: 1688 kB
Cached: 4581244 kB
SwapCached: 8 kB
Active: 2630700 kB
Inactive: 4291864 kB
Active(anon): 2341576 kB
Inactive(anon): 16128 kB
Active(file): 289124 kB
Inactive(file): 4275736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44808 kB
Writeback: 28 kB
AnonPages: 2342208 kB
Mapped: 139836 kB
Shmem: 18072 kB
KReclaimable: 173872 kB
Slab: 265920 kB
SReclaimable: 173872 kB
SUnreclaim: 92048 kB
KernelStack: 4320 kB
PageTables: 7752 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2841028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 993280 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432296 MiB
End job on nodeC017 at 2025-07-03 21:15:04