1.17/1.26 c #vars 7600 #constraints 700360 92.1526 1
1.17/1.26 c intsize: 6
4.67/4.74 c 700360 constraints
4.67/4.74 c Finish cloning data from SAT to LS
4.67/4.74 c restart_num_ls -100000 0
140.09/140.58 c Use LS-small
140.09/140.58 restart_num 0 328
140.09/140.58 c LS-restart 90 93
344.56/345.52 c Use LS-small
344.56/345.52 s UNSATISFIABLE
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 (61336 MiB free)
memory of node 1: 64507 MiB (63238 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546087-1753264794/watcher-4546087-1753264794 -o /tmp/evaluation-result-4546087-1753264794/solver-4546087-1753264794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172184 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546087-1753264794.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=174520, runsolver pid=174517
Current StackSize limit: 8192 KiB
[startup+0.100025 s]*
/proc/loadavg: 4.07 4.10 4.09 6/267 174521
/proc/meminfo: memFree=127549528/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=93624 memory=22768 CPUtime=0.08 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 3229 0 0 0 8 0 0 0 20 0 1 0 242158292 95870976 5692 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 23406 5692 2240 595 0 8073 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93624 KiB
Current children cumulated memory: 22768 KiB
[startup+0.205701 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=127549528/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=98236 memory=31436 CPUtime=0.19 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 4453 0 0 0 18 1 0 0 20 0 1 0 242158292 100593664 7859 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 24559 7859 2240 595 0 9226 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 31436 KiB
[startup+0.305706 s]*
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=127545748/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=102972 memory=37980 CPUtime=0.29 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 5697 0 0 0 28 1 0 0 20 0 1 0 242158292 105443328 9495 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 25743 9495 2240 595 0 10410 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102972 KiB
Current children cumulated memory: 37980 KiB
[startup+0.700173 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=127525776/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=132380 memory=63504 CPUtime=0.68 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 10526 0 0 0 65 3 0 0 20 0 1 0 242158292 135557120 15876 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 33095 15876 2240 595 0 17762 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132380 KiB
Current children cumulated memory: 63504 KiB
[startup+1.50019 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=127487824/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=280092 memory=191576 CPUtime=1.48 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 21291 0 0 0 140 8 0 0 20 0 1 0 242158292 286814208 47894 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 70023 47894 2432 595 0 54690 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 280092 KiB
Current children cumulated memory: 191576 KiB
[startup+3.10557 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=127035332/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=571484 memory=451876 CPUtime=3.08 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 36741 0 0 0 291 17 0 0 20 0 1 0 242158292 585199616 112969 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 142871 112969 2464 595 0 127538 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 571484 KiB
Current children cumulated memory: 451876 KiB
[startup+6.30018 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 174521
/proc/meminfo: memFree=126891440/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=783508 memory=638108 CPUtime=6.27 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 72115 0 0 0 600 27 0 0 20 0 1 0 242158292 802312192 159527 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 195877 159527 2496 595 0 180544 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 783508 KiB
Current children cumulated memory: 638108 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 174521
/proc/meminfo: memFree=126891252/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=783508 memory=638108 CPUtime=12.65 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 72140 0 0 0 1220 45 0 0 20 0 1 0 242158292 802312192 159527 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 195877 159527 2496 595 0 180544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 783508 KiB
Current children cumulated memory: 638108 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 174521
/proc/meminfo: memFree=126921168/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=783508 memory=638108 CPUtime=25.42 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 72140 0 0 0 2461 81 0 0 20 0 1 0 242158292 802312192 159527 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 195877 159527 2496 595 0 180544 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 783508 KiB
Current children cumulated memory: 638108 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 174523
/proc/meminfo: memFree=126904592/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=783508 memory=638108 CPUtime=50.97 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 72140 0 0 0 4939 158 0 0 20 0 1 0 242158292 802312192 159527 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 195877 159527 2496 595 0 180544 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 783508 KiB
Current children cumulated memory: 638108 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 174538
/proc/meminfo: memFree=126837236/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=828780 memory=699092 CPUtime=102.02 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 79217 0 0 0 10009 193 0 0 20 0 1 0 242158292 848670720 174773 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 207195 174773 2528 595 0 191862 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 828780 KiB
Current children cumulated memory: 699092 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.18 4.12 5/267 174540
/proc/meminfo: memFree=126847984/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=831572 memory=701908 CPUtime=161.83 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 79993 0 0 0 15925 258 0 0 20 0 1 0 242158292 851529728 175477 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 207893 175477 2528 595 0 192560 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 831572 KiB
Current children cumulated memory: 701908 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/266 174542
/proc/meminfo: memFree=126797024/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=875168 memory=709188 CPUtime=221.67 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 80995 0 0 0 21796 371 0 0 20 0 1 0 242158292 896172032 177297 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 218792 177297 2528 595 0 203459 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 875168 KiB
Current children cumulated memory: 709188 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 174544
/proc/meminfo: memFree=126779304/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=882404 memory=718432 CPUtime=281.52 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82265 0 0 0 27779 373 0 0 20 0 1 0 242158292 903581696 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220601 179608 2528 595 0 205268 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 882404 KiB
Current children cumulated memory: 718432 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174590
/proc/meminfo: memFree=126859272/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=341.37 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82280 0 0 0 33764 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+345.563 s]
# the end of solver process 174520 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=340.882 s, system=3.74244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+342.4 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174590
/proc/meminfo: memFree=126859272/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=341.46 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82280 0 0 0 33773 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+344 s]*
/proc/loadavg: 4.06 4.13 4.10 5/264 174590
/proc/meminfo: memFree=126859524/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=343.07 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82280 0 0 0 33934 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 343.07 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+344.8 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174590
/proc/meminfo: memFree=126859524/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=343.86 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82281 0 0 0 34013 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 343.86 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+345.2 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174591
/proc/meminfo: memFree=126883484/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=344.26 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82281 0 0 0 34053 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 344.26 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+345.4 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174591
/proc/meminfo: memFree=126883484/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=344.46 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82281 0 0 0 34073 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 344.46 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
[startup+345.5 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 174591
/proc/meminfo: memFree=126883484/131249988 swapFree=33010160/33010684
[pid=174520] ppid=174517 vsize=883208 memory=718432 CPUtime=344.56 cores=1,3
/proc/174520/stat : 174520 (SynLSCD) R 174517 174520 172165 0 -1 4194304 82281 0 0 0 34083 373 0 0 20 0 1 0 242158292 904404992 179608 18446744073709551615 94241684000768 94241686435369 140736158162432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94241686916344 94241686949376 94241705005056 140736158165379 140736158165514 140736158165514 140736158171118 0
/proc/174520/statm: 220802 179608 2528 595 0 205469 0
Current children cumulated CPU time: 344.56 s
Current children cumulated vsize: 883208 KiB
Current children cumulated memory: 718432 KiB
Child status: 20
Real time (s): 345.563
CPU time (s): 344.624
CPU user time (s): 340.882
CPU system time (s): 3.74244
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 883208
Max. memory (cumulated for all children) (KiB): 718432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 340.882
system time used= 3.74244
maximum resident set size= 759600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82337
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= 160
involuntary context switches= 249
# summary of solver processes directly reported to runsolver:
# pid: 174520
# total CPU time (s): 344.624
# total CPU user time (s): 340.882
# total CPU system time (s): 3.74244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.738917 second user time and 1.52689 second system time
The end
Begin job on nodeC034 at 2025-07-23 11:59:54
IDJOB=4546087
IDBENCH=180687
IDSOLVER=3421
FILE ID=nodeC034/4546087-1753264794
RUNJOBID= nodeC034-1753259701-172184
SLURM_JOB_ID= 9689189
Free space on /tmp= 433012 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat20_19_identity_complement.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546087-1753264794/watcher-4546087-1753264794 -o /tmp/evaluation-result-4546087-1753264794/solver-4546087-1753264794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172184 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546087-1753264794.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b62b1f0af3a4b117c91c07257537aad
RANDOM SEED=300029447
nodeC034 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.756
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.53
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.739
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.53
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.613
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.53
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 : 3620.228
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.53
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.758
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.53
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.910
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.53
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 : 3601.513
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.53
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.139
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127565260 kB
MemAvailable: 129362552 kB
Buffers: 2128 kB
Cached: 2534212 kB
SwapCached: 32 kB
Active: 1488560 kB
Inactive: 1413572 kB
Active(anon): 389904 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 1411420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21704 kB
Writeback: 0 kB
AnonPages: 369168 kB
Mapped: 120972 kB
Shmem: 26264 kB
KReclaimable: 252508 kB
Slab: 351716 kB
SReclaimable: 252508 kB
SUnreclaim: 99208 kB
KernelStack: 4320 kB
PageTables: 3864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 739384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-23 12:05:40