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 (62963 MiB free)
memory of node 1: 64507 MiB (63001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517269-1751232150/watcher-4517269-1751232150 -o /tmp/evaluation-result-4517269-1751232150/solver-4517269-1751232150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751231931-30948 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517269-1751232150.opb
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=33228, runsolver pid=33225
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.01 3.25 3.17 6/267 33229
/proc/meminfo: memFree=128988976/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=0.08 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 6 2 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+0.205675 s]*
/proc/loadavg: 4.01 3.25 3.17 5/267 33229
/proc/meminfo: memFree=128988976/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=0.19 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 14 5 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+0.305553 s]*
/proc/loadavg: 4.01 3.25 3.17 5/267 33229
/proc/meminfo: memFree=128988976/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=0.29 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 21 8 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+0.700166 s]
/proc/loadavg: 4.01 3.25 3.17 5/267 33229
/proc/meminfo: memFree=128988976/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=0.68 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 50 18 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 3.25 3.17 5/267 33229
/proc/meminfo: memFree=128988724/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=1.48 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 110 38 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+3.10543 s]
/proc/loadavg: 4.01 3.25 3.17 5/267 33229
/proc/meminfo: memFree=128985512/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=91652 memory=18652 CPUtime=3.08 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 2528 0 0 0 232 76 0 0 20 0 1 0 38892786 93851648 4663 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 22913 4663 2496 595 0 7580 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91652 KiB
Current children cumulated memory: 18652 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 3.28 3.18 5/267 33229
/proc/meminfo: memFree=128969352/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=97028 memory=28756 CPUtime=6.27 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 3986 0 0 0 503 124 0 0 20 0 1 0 38892786 99356672 7189 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 24257 7189 2560 595 0 8924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 28756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.29 3.19 5/268 33231
/proc/meminfo: memFree=128924808/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=104144 memory=37008 CPUtime=12.65 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 5727 0 0 0 1138 127 0 0 20 0 1 0 38892786 106643456 9252 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 26036 9252 2560 595 0 10703 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104144 KiB
Current children cumulated memory: 37008 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 3.33 3.20 5/268 33231
/proc/meminfo: memFree=128893500/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=109412 memory=44120 CPUtime=25.42 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 7445 0 0 0 2409 133 0 0 20 0 1 0 38892786 112037888 11030 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 27353 11030 2560 595 0 12020 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 109412 KiB
Current children cumulated memory: 44120 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 3.40 3.23 5/267 33231
/proc/meminfo: memFree=128860236/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=116364 memory=52716 CPUtime=50.96 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 10326 0 0 0 4948 148 0 0 20 0 1 0 38892786 119156736 13179 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 29091 13179 2560 595 0 13758 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 116364 KiB
Current children cumulated memory: 52716 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.51 3.28 5/267 33283
/proc/meminfo: memFree=128796648/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=123436 memory=58952 CPUtime=102.03 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 14632 0 0 0 10030 173 0 0 20 0 1 0 38892786 126398464 14738 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 30859 14738 2560 595 0 15526 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 123436 KiB
Current children cumulated memory: 58952 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 3.71 3.36 5/267 33286
/proc/meminfo: memFree=128775628/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=135504 memory=72384 CPUtime=161.89 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 19567 0 0 0 15991 198 0 0 20 0 1 0 38892786 138756096 18096 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 33876 18096 2624 595 0 18543 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 135504 KiB
Current children cumulated memory: 72384 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 3.80 3.41 5/267 33377
/proc/meminfo: memFree=128762440/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=141864 memory=82072 CPUtime=221.74 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 23952 0 0 0 21692 482 0 0 20 0 1 0 38892786 145268736 20518 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 35466 20518 2624 595 0 20133 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 141864 KiB
Current children cumulated memory: 82072 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.85 3.46 5/266 33379
/proc/meminfo: memFree=128680988/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=146332 memory=85960 CPUtime=281.6 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 27623 0 0 0 27523 637 0 0 20 0 1 0 38892786 149843968 21490 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 36583 21490 2624 595 0 21250 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 146332 KiB
Current children cumulated memory: 85960 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.90 3.50 5/265 33381
/proc/meminfo: memFree=128669508/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=156296 memory=93580 CPUtime=341.46 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 33068 0 0 0 33483 663 0 0 20 0 1 0 38892786 160047104 23395 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 39074 23395 2624 595 0 23741 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 156296 KiB
Current children cumulated memory: 93580 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.95 3.55 5/264 33383
/proc/meminfo: memFree=128661032/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=158464 memory=97648 CPUtime=401.32 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 36616 0 0 0 39322 810 0 0 20 0 1 0 38892786 162267136 24412 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 39616 24412 2624 595 0 24283 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 158464 KiB
Current children cumulated memory: 97648 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.97 3.58 5/264 33386
/proc/meminfo: memFree=128657228/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=159196 memory=98400 CPUtime=461.18 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 40956 0 0 0 45159 959 0 0 20 0 1 0 38892786 163016704 24600 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 39799 24600 2624 595 0 24466 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
/proc/loadavg: 2.44 2.89 3.13 3/254 33589
/proc/meminfo: memFree=128706952/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=259804 memory=198380 CPUtime=2256.82 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 93407 0 0 0 222638 3044 0 0 20 0 1 0 38892786 266039296 49595 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 64951 49595 2624 595 0 49618 0
Current children cumulated CPU time: 2256.82 s
Current children cumulated vsize: 259804 KiB
Current children cumulated memory: 198380 KiB
[startup+2322.3 s]
/proc/loadavg: 2.21 2.74 3.06 3/256 33608
/proc/meminfo: memFree=128698976/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=259804 memory=201068 CPUtime=2316.66 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 93411 0 0 0 228463 3203 0 0 20 0 1 0 38892786 266039296 50267 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 64951 50267 2624 595 0 49618 0
Current children cumulated CPU time: 2316.66 s
Current children cumulated vsize: 259804 KiB
Current children cumulated memory: 201068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.11 2.62 2.99 3/256 33612
/proc/meminfo: memFree=128701924/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=259804 memory=201068 CPUtime=2376.53 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 93411 0 0 0 234296 3357 0 0 20 0 1 0 38892786 266039296 50267 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 64951 50267 2624 595 0 49618 0
Current children cumulated CPU time: 2376.53 s
Current children cumulated vsize: 259804 KiB
Current children cumulated memory: 201068 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.52 2.94 3/256 33614
/proc/meminfo: memFree=128724352/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=261344 memory=202220 CPUtime=2436.38 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 93705 0 0 0 240134 3504 0 0 20 0 1 0 38892786 267616256 50555 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 65336 50555 2624 595 0 50003 0
Current children cumulated CPU time: 2436.38 s
Current children cumulated vsize: 261344 KiB
Current children cumulated memory: 202220 KiB
[startup+2502.3 s]
/proc/loadavg: 2.07 2.44 2.88 3/256 33616
/proc/meminfo: memFree=128726428/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=206316 CPUtime=2496.21 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94723 0 0 0 246091 3530 0 0 20 0 1 0 38892786 273514496 51579 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 51579 2624 595 0 51443 0
Current children cumulated CPU time: 2496.21 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 206316 KiB
[startup+2562.3 s]
/proc/loadavg: 2.12 2.39 2.83 3/257 33624
/proc/meminfo: memFree=128735072/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=206444 CPUtime=2556.06 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94742 0 0 0 251918 3688 0 0 20 0 1 0 38892786 273514496 51611 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 51611 2624 595 0 51443 0
Current children cumulated CPU time: 2556.06 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 206444 KiB
[startup+2622.3 s]
/proc/loadavg: 2.04 2.31 2.78 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2615.91 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94749 0 0 0 257874 3717 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2615.91 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2643.92 s]
# the end of solver process 33228 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=2598.99 s, system=38.501 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2624 s]*
/proc/loadavg: 2.04 2.31 2.78 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2617.61 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94749 0 0 0 258043 3718 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2617.61 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2636.8 s]
/proc/loadavg: 2.11 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2630.37 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259207 3830 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2630.37 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2640 s]*
/proc/loadavg: 2.11 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2633.57 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259509 3848 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2633.57 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2641.6 s]
/proc/loadavg: 2.10 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2635.16 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259667 3849 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2635.16 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2643.2 s]
/proc/loadavg: 2.10 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2636.77 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259827 3850 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2636.77 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2643.6 s]
/proc/loadavg: 2.10 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2637.16 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259866 3850 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2637.16 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2643.8 s]
/proc/loadavg: 2.10 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2637.36 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259886 3850 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2637.36 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
[startup+2643.9 s]
/proc/loadavg: 2.10 2.31 2.77 3/253 33627
/proc/meminfo: memFree=128729640/131249996 swapFree=33010684/33010684
[pid=33228] ppid=33225 vsize=267104 memory=208236 CPUtime=2637.46 cores=5,7
/proc/33228/stat : 33228 (SynLSCD-PS) R 33225 33228 30935 0 -1 4194304 94760 0 0 0 259896 3850 0 0 20 0 1 0 38892786 273514496 52059 18446744073709551615 94438038880256 94438041315257 140726979449152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94438041795832 94438041828864 94438058475520 140726979455328 140726979455464 140726979455464 140726979461066 0
/proc/33228/statm: 66776 52059 2624 595 0 51443 0
Current children cumulated CPU time: 2637.46 s
Current children cumulated vsize: 267104 KiB
Current children cumulated memory: 208236 KiB
Child status: 20
Real time (s): 2643.92
CPU time (s): 2637.49
CPU user time (s): 2598.99
CPU system time (s): 38.501
CPU usage (%): 99.7568
Max. virtual memory (cumulated for all children) (KiB): 267104
Max. memory (cumulated for all children) (KiB): 208236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2598.99
system time used= 38.501
maximum resident set size= 208364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94786
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= 179
involuntary context switches= 2066
# summary of solver processes directly reported to runsolver:
# pid: 33228
# total CPU time (s): 2637.49
# total CPU user time (s): 2598.99
# total CPU system time (s): 38.501
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.61617 second user time and 10.1497 second system time
The end
Begin job on nodeC022 at 2025-06-29 23:22:30
IDJOB=4517269
IDBENCH=176048
IDSOLVER=3370
FILE ID=nodeC022/4517269-1751232150
RUNJOBID= nodeC022-1751231931-30948
SLURM_JOB_ID= 9587707
Free space on /tmp= 433052 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517269-1751232150/watcher-4517269-1751232150 -o /tmp/evaluation-result-4517269-1751232150/solver-4517269-1751232150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751231931-30948 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517269-1751232150.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=511853617
nodeC022 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.716
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.44
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.721
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.44
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 : 3601.963
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.036
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.44
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.717
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.44
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.730
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.44
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 : 3475.380
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.44
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.396
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128988960 kB
MemAvailable: 129668076 kB
Buffers: 3280 kB
Cached: 1483352 kB
SwapCached: 0 kB
Active: 418408 kB
Inactive: 1234992 kB
Active(anon): 184828 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 1234992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14796 kB
Writeback: 0 kB
AnonPages: 169988 kB
Mapped: 113860 kB
Shmem: 18060 kB
KReclaimable: 99168 kB
Slab: 186304 kB
SReclaimable: 99168 kB
SUnreclaim: 87136 kB
KernelStack: 4336 kB
PageTables: 3524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 536984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 59392 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-30 00:06:34