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 (62673 MiB free)
memory of node 1: 64465 MiB (63921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503870-1751447985/watcher-4503870-1751447985 -o /tmp/evaluation-result-4503870-1751447985/solver-4503870-1751447985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751447985-76849 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503870-1751447985.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=76900, runsolver pid=76889
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129575372/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=0.08 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 8 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+0.206084 s]*
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129575372/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=0.19 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 19 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+0.306064 s]*
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129580540/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=0.29 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 29 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+0.700135 s]
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129580796/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=0.68 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 68 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+1.50013 s]
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129581336/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=1.47 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 147 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+3.10586 s]
/proc/loadavg: 0.89 2.54 3.51 5/284 76905
/proc/meminfo: memFree=129582120/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=3.07 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 307 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+6.30013 s]
/proc/loadavg: 1.22 2.58 3.52 5/284 76905
/proc/meminfo: memFree=129588816/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=47348 memory=12800 CPUtime=6.26 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 2191 0 0 0 626 0 0 0 20 0 1 0 60476125 48484352 3200 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 11837 3200 1184 6655 0 2072 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 12800 KiB
[startup+12.7002 s]
/proc/loadavg: 1.53 2.62 3.53 9/287 76909
/proc/meminfo: memFree=129356984/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=68980 CPUtime=15.13 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) R 76889 76900 76836 0 -1 4194304 12855 0 0 0 1510 3 0 0 20 0 2 0 60476125 165543936 17245 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 17245 3776 6655 0 16006 0
[pid=76900/tid=76908] ppid=76889 vsize=161664 memory=68724 CPUtime=2.48 cores=5,7
/proc/76900/task/76908/stat : 76908 (LSIPExact) R 76889 76900 76836 0 -1 4194368 1796 0 0 0 248 0 0 0 20 0 2 0 60477128 165543936 17245 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 161664 KiB
Current children cumulated memory: 68980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.65 2.82 3.58 7/287 76913
/proc/meminfo: memFree=129128592/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=130088 memory=105528 CPUtime=7.78 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 18864 0 1 0 771 7 0 0 20 0 1 0 60477889 133210112 26382 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 32522 26382 1120 1011 0 31289 0
Current children cumulated CPU time: 32.58 s
Current children cumulated vsize: 291752 KiB
Current children cumulated memory: 173360 KiB
[startup+51.1061 s]
/proc/loadavg: 3.88 3.09 3.65 7/287 76913
/proc/meminfo: memFree=128870904/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=341064 memory=264932 CPUtime=33.32 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 42546 0 1 0 3310 22 0 0 20 0 1 0 60477889 349249536 66233 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 85266 66233 1120 1011 0 84033 0
Current children cumulated CPU time: 58.12 s
Current children cumulated vsize: 502728 KiB
Current children cumulated memory: 332764 KiB
[startup+102.3 s]
/proc/loadavg: 5.10 3.54 3.78 7/271 76915
/proc/meminfo: memFree=128688572/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=389960 memory=307556 CPUtime=84.36 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 53386 0 1 0 8398 38 0 0 20 0 1 0 60477889 399319040 76889 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 97490 76889 1120 1011 0 96257 0
Current children cumulated CPU time: 109.16 s
Current children cumulated vsize: 551624 KiB
Current children cumulated memory: 375388 KiB
[startup+162.3 s]
/proc/loadavg: 5.67 3.99 3.92 7/272 76931
/proc/meminfo: memFree=128521368/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=468352 memory=396444 CPUtime=144.16 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 71691 0 1 0 14355 61 0 0 20 0 1 0 60477889 479592448 99111 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 117088 99111 1120 1011 0 115855 0
Current children cumulated CPU time: 168.96 s
Current children cumulated vsize: 630016 KiB
Current children cumulated memory: 464276 KiB
[startup+222.3 s]
/proc/loadavg: 5.47 4.25 4.02 6/271 76936
/proc/meminfo: memFree=128021772/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=547228 memory=498136 CPUtime=203.97 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 88501 0 1 0 20309 88 0 0 20 0 1 0 60477889 560361472 124534 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 136807 124534 1120 1011 0 135574 0
Current children cumulated CPU time: 228.77 s
Current children cumulated vsize: 708892 KiB
Current children cumulated memory: 565968 KiB
[startup+282.3 s]
/proc/loadavg: 5.23 4.41 4.09 6/270 76938
/proc/meminfo: memFree=127699264/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=67832 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 16958 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 16958 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=705152 memory=554436 CPUtime=263.78 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 97645 0 1 0 26276 102 0 0 20 0 1 0 60477889 722075648 138609 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 176288 138609 1120 1011 0 175055 0
Current children cumulated CPU time: 288.58 s
Current children cumulated vsize: 866816 KiB
Current children cumulated memory: 622268 KiB
[startup+342.3 s]
/proc/loadavg: 5.13 4.53 4.15 6/270 76943
/proc/meminfo: memFree=127405676/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=775632 memory=654872 CPUtime=323.59 cores=5,7
################
# More data... #
################
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 185706 0 1 0 97898 294 0 0 20 0 1 0 60477889 1394126848 312954 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 340363 312954 1120 1011 0 339130 0
Current children cumulated CPU time: 1006.72 s
Current children cumulated vsize: 1523116 KiB
Current children cumulated memory: 1324128 KiB
[startup+1062.3 s]
/proc/loadavg: 5.10 5.01 4.63 6/270 77032
/proc/meminfo: memFree=125079492/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1374696 memory=1261672 CPUtime=1041.77 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 188543 0 1 0 103866 311 0 0 20 0 1 0 60477889 1407688704 315418 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 343674 315418 1120 1011 0 342441 0
Current children cumulated CPU time: 1066.57 s
Current children cumulated vsize: 1536360 KiB
Current children cumulated memory: 1333984 KiB
[startup+1122.3 s]
/proc/loadavg: 5.00 5.00 4.66 5/270 77036
/proc/meminfo: memFree=124939948/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270248 CPUtime=1101.63 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 190830 0 1 0 109841 322 0 0 20 0 1 0 60477889 1418870784 317562 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317562 1120 1011 0 345171 0
Current children cumulated CPU time: 1126.43 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342560 KiB
[startup+1173.2 s]
# the end of solver process 76900 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1173.86 s, system=3.36043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 5.00 5.00 4.66 5/269 77036
/proc/meminfo: memFree=124888040/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270248 CPUtime=1105.71 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 190831 0 1 0 110249 322 0 0 20 0 1 0 60477889 1418870784 317562 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317562 1120 1011 0 345171 0
Current children cumulated CPU time: 1130.51 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342560 KiB
[startup+1152 s]*
/proc/loadavg: 4.66 4.92 4.64 5/268 77036
/proc/meminfo: memFree=124761804/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270248 CPUtime=1131.26 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191007 0 1 0 112800 326 0 0 20 0 1 0 60477889 1418870784 317562 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317562 1120 1011 0 345171 0
Current children cumulated CPU time: 1156.06 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342560 KiB
[startup+1164.8 s]
/proc/loadavg: 4.71 4.93 4.64 5/269 77037
/proc/meminfo: memFree=124590920/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270376 CPUtime=1144.01 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191025 0 1 0 114073 328 0 0 20 0 1 0 60477889 1418870784 317594 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317594 1120 1011 0 345171 0
Current children cumulated CPU time: 1168.81 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342688 KiB
[startup+1168 s]*
/proc/loadavg: 4.73 4.93 4.64 5/269 77038
/proc/meminfo: memFree=124584636/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270376 CPUtime=1147.21 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191049 0 1 0 114391 330 0 0 20 0 1 0 60477889 1418870784 317594 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317594 1120 1011 0 345171 0
Current children cumulated CPU time: 1172.01 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342688 KiB
[startup+1171.2 s]
/proc/loadavg: 4.83 4.94 4.65 5/269 77039
/proc/meminfo: memFree=124576644/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270504 CPUtime=1150.4 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191081 0 1 0 114710 330 0 0 20 0 1 0 60477889 1418870784 317626 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317626 1120 1011 0 345171 0
Current children cumulated CPU time: 1175.2 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342816 KiB
[startup+1172 s]*
/proc/loadavg: 4.83 4.94 4.65 5/269 77039
/proc/meminfo: memFree=124560516/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270504 CPUtime=1151.2 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191083 0 1 0 114790 330 0 0 20 0 1 0 60477889 1418870784 317626 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317626 1120 1011 0 345171 0
Current children cumulated CPU time: 1176 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342816 KiB
[startup+1172.8 s]
/proc/loadavg: 4.83 4.94 4.65 5/269 77039
/proc/meminfo: memFree=124560516/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270632 CPUtime=1151.99 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191090 0 1 0 114869 330 0 0 20 0 1 0 60477889 1418870784 317658 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317658 1120 1011 0 345171 0
Current children cumulated CPU time: 1176.79 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342944 KiB
[startup+1173 s]*
/proc/loadavg: 4.83 4.94 4.65 5/269 77039
/proc/meminfo: memFree=124552540/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270632 CPUtime=1152.2 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191091 0 1 0 114890 330 0 0 20 0 1 0 60477889 1418870784 317658 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317658 1120 1011 0 345171 0
Current children cumulated CPU time: 1177 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342944 KiB
[startup+1173.11 s]
/proc/loadavg: 4.83 4.94 4.65 5/269 77039
/proc/meminfo: memFree=124552540/131250000 swapFree=33010160/33010684
[pid=76900] ppid=76889 vsize=161664 memory=72312 CPUtime=24.8 cores=5,7
/proc/76900/stat : 76900 (LSIPExact) S 76889 76900 76836 0 -1 4194304 21777 228 0 0 2476 4 0 0 20 0 1 0 60476125 165543936 18078 18446744073709551615 93968966307840 93968993564241 140734482109392 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 93969002067080 93969002498688 93969019428864 140734482110810 140734482110986 140734482110986 140734482116588 0
/proc/76900/statm: 40416 18078 3808 6655 0 16138 0
[pid=76911] ppid=76900 vsize=1385616 memory=1270632 CPUtime=1152.3 cores=5,7
/proc/76911/stat : 76911 (Exact) R 76900 76911 76911 0 -1 4194304 191091 0 1 0 114900 330 0 0 20 0 1 0 60477889 1418870784 317658 18446744073709551615 4198400 8335837 140724309572976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 43028480 140724309575860 140724309576221 140724309576221 140724309581775 0
/proc/76911/statm: 346404 317658 1120 1011 0 345171 0
Current children cumulated CPU time: 1177.1 s
Current children cumulated vsize: 1547280 KiB
Current children cumulated memory: 1342944 KiB
Child status: 0
Real time (s): 1173.2
CPU time (s): 1177.22
CPU user time (s): 1173.86
CPU system time (s): 3.36043
CPU usage (%): 100.342
Max. virtual memory (cumulated for all children) (KiB): 1655364
Max. memory (cumulated for all children) (KiB): 1342944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.86
system time used= 3.36043
maximum resident set size= 1270632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213112
page faults= 1
swaps= 0
block input operations= 808
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 628
involuntary context switches= 2059
# summary of solver processes directly reported to runsolver:
# pid: 76900
# total CPU time (s): 1177.22
# total CPU user time (s): 1173.86
# total CPU system time (s): 3.36043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.56023 second user time and 5.49945 second system time
The end
Begin job on nodeC016 at 2025-07-02 11:19:46
IDJOB=4503870
IDBENCH=155610
IDSOLVER=3337
FILE ID=nodeC016/4503870-1751447985
RUNJOBID= nodeC016-1751447985-76849
SLURM_JOB_ID= 9598427
Free space on /tmp= 432896 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503870-1751447985/watcher-4503870-1751447985 -o /tmp/evaluation-result-4503870-1751447985/solver-4503870-1751447985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751447985-76849 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503870-1751447985.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1421129185
nodeC016 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.809
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.48
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.818
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.48
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 : 3700.000
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.48
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.745
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.48
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.736
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.48
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 : 3700.000
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.48
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 : 3593.652
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.48
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.739
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129636720 kB
MemAvailable: 129733880 kB
Buffers: 2144 kB
Cached: 866476 kB
SwapCached: 28 kB
Active: 670312 kB
Inactive: 268968 kB
Active(anon): 82300 kB
Inactive(anon): 6408 kB
Active(file): 588012 kB
Inactive(file): 262560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 180968 kB
Writeback: 20 kB
AnonPages: 73704 kB
Mapped: 104200 kB
Shmem: 18044 kB
KReclaimable: 171656 kB
Slab: 263816 kB
SReclaimable: 171656 kB
SUnreclaim: 92160 kB
KernelStack: 4336 kB
PageTables: 2820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 334240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432716 MiB
End job on nodeC016 at 2025-07-02 11:39:19