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 (61915 MiB free)
memory of node 1: 64507 MiB (63581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546557-1753263381/watcher-4546557-1753263381 -o /tmp/evaluation-result-4546557-1753263381/solver-4546557-1753263381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753259701-169215 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546557-1753263381.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
Linux 5.14.0-503.14.1.el
solver pid=170276, runsolver pid=170273
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.15 4.06 4/261 170279
/proc/meminfo: memFree=128280056/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=364740 memory=268116 CPUtime=0.09 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 10955 0 0 0 4 5 0 0 20 0 1 0 242015983 373493760 67029 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 91185 67029 2144 595 0 75852 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 364740 KiB
Current children cumulated memory: 268116 KiB
[startup+0.205661 s]*
/proc/loadavg: 4.15 4.15 4.06 4/260 170285
/proc/meminfo: memFree=128054284/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=594372 memory=495572 CPUtime=0.19 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 12120 0 0 0 10 9 0 0 20 0 1 0 242015983 608636928 123893 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 148593 123893 2144 595 0 133260 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 594372 KiB
Current children cumulated memory: 495572 KiB
[startup+0.305462 s]*
/proc/loadavg: 4.15 4.15 4.06 4/260 170285
/proc/meminfo: memFree=127940548/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=668460 memory=595280 CPUtime=0.29 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 19722 0 0 0 17 12 0 0 20 0 1 0 242015983 684503040 148820 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 167115 148820 2208 595 0 151782 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 668460 KiB
Current children cumulated memory: 595280 KiB
[startup+0.700146 s]
/proc/loadavg: 4.15 4.15 4.06 5/260 170285
/proc/meminfo: memFree=127864380/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=802156 memory=733168 CPUtime=0.68 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 53571 0 0 0 51 17 0 0 20 0 1 0 242015983 821407744 183292 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 200539 183292 2208 595 0 185206 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 802156 KiB
Current children cumulated memory: 733168 KiB
[startup+1.50014 s]
/proc/loadavg: 4.15 4.15 4.06 4/259 170308
/proc/meminfo: memFree=127699596/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=1054760 memory=993924 CPUtime=1.47 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 115701 0 0 0 120 27 0 0 20 0 1 0 242015983 1080074240 248481 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 263690 248481 2208 595 0 248357 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1054760 KiB
Current children cumulated memory: 993924 KiB
[startup+3.10539 s]
/proc/loadavg: 4.15 4.15 4.06 5/264 170322
/proc/meminfo: memFree=127032724/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=1538980 memory=1420248 CPUtime=3.07 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 178019 0 0 0 263 44 0 0 20 0 1 0 242015983 1575915520 355062 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 384745 355062 2208 595 0 369412 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1538980 KiB
Current children cumulated memory: 1420248 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.15 4.06 3/256 170338
/proc/meminfo: memFree=126446852/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=2728668 memory=2466408 CPUtime=6.27 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 322447 0 0 0 543 84 0 0 20 0 1 0 242015983 2794156032 616602 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 682167 616602 2208 595 0 666834 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2728668 KiB
Current children cumulated memory: 2466408 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.15 4.06 5/264 170412
/proc/meminfo: memFree=123121836/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=4458244 memory=4228544 CPUtime=12.65 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 630853 0 0 0 1110 155 0 0 20 0 1 0 242015983 4565241856 1057136 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 1114561 1057136 2208 595 0 1099228 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4458244 KiB
Current children cumulated memory: 4228544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.06 5/264 170412
/proc/meminfo: memFree=116478780/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12032308 memory=10762640 CPUtime=25.42 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1487250 0 0 0 2200 342 0 0 20 0 1 0 242015983 12321083392 2690660 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3008077 2690660 2400 595 0 2992744 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 12032308 KiB
Current children cumulated memory: 10762640 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.14 4.06 5/264 170413
/proc/meminfo: memFree=116478796/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12032308 memory=10762640 CPUtime=50.94 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1487533 0 0 0 4752 342 0 0 20 0 1 0 242015983 12321083392 2690660 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3008077 2690660 2400 595 0 2992744 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 12032308 KiB
Current children cumulated memory: 10762640 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/265 170602
/proc/meminfo: memFree=116563984/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=101.99 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1488708 0 0 0 9854 345 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.18 4.09 5/265 170784
/proc/meminfo: memFree=116492056/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=161.84 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1488968 0 0 0 15838 346 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.19 4.09 5/268 170924
/proc/meminfo: memFree=108767540/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=221.71 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1489188 0 0 0 21824 347 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/268 170970
/proc/meminfo: memFree=93693956/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=281.57 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1489446 0 0 0 27809 348 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+342.3 s]
/proc/loadavg: 3.92 4.13 4.08 4/262 171004
/proc/meminfo: memFree=117358536/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=341.44 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1489737 0 0 0 33795 349 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+402.3 s]
/proc/loadavg: 3.39 3.94 4.02 4/261 171006
/proc/meminfo: memFree=117879760/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=401.29 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1490025 0 0 0 39779 350 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 12036372 KiB
Current children cumulated memory: 10766704 KiB
[startup+462.3 s]
/proc/loadavg: 2.70 3.65 3.91 3/255 171038
/proc/meminfo: memFree=118193980/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12036372 memory=10766704 CPUtime=461.14 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1490327 0 0 0 45763 351 0 0 20 0 1 0 242015983 12325244928 2691676 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3009093 2691676 2400 595 0 2993760 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
Current children cumulated memory: 10901792 KiB
[startup+2802.3 s]
/proc/loadavg: 1.13 1.19 1.67 2/246 171203
/proc/meminfo: memFree=118100160/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12775156 memory=10901792 CPUtime=2795.86 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1522479 0 0 0 279190 396 0 0 20 0 1 0 242015983 13081759744 2725448 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3193789 2725448 2432 595 0 3178456 0
Current children cumulated CPU time: 2795.86 s
Current children cumulated vsize: 12775156 KiB
Current children cumulated memory: 10901792 KiB
[startup+2862.3 s]
/proc/loadavg: 1.10 1.17 1.63 2/245 171205
/proc/meminfo: memFree=118100224/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12775156 memory=10901792 CPUtime=2855.76 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1524204 0 0 0 285180 396 0 0 20 0 1 0 242015983 13081759744 2725448 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3193789 2725448 2432 595 0 3178456 0
Current children cumulated CPU time: 2855.76 s
Current children cumulated vsize: 12775156 KiB
Current children cumulated memory: 10901792 KiB
[startup+2922.3 s]
/proc/loadavg: 1.08 1.15 1.60 2/245 171208
/proc/meminfo: memFree=118101008/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12775156 memory=10901792 CPUtime=2915.66 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1525844 0 0 0 291169 397 0 0 20 0 1 0 242015983 13081759744 2725448 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3193789 2725448 2432 595 0 3178456 0
Current children cumulated CPU time: 2915.66 s
Current children cumulated vsize: 12775156 KiB
Current children cumulated memory: 10901792 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.15 1.57 2/245 171210
/proc/meminfo: memFree=118100240/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12775156 memory=10901792 CPUtime=2975.55 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1526981 0 0 0 297158 397 0 0 20 0 1 0 242015983 13081759744 2725448 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3193789 2725448 2432 595 0 3178456 0
Current children cumulated CPU time: 2975.55 s
Current children cumulated vsize: 12775156 KiB
Current children cumulated memory: 10901792 KiB
[startup+3042.3 s]
/proc/loadavg: 1.09 1.14 1.53 2/245 171212
/proc/meminfo: memFree=118100272/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12775156 memory=10903840 CPUtime=3035.44 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1528513 0 0 0 303147 397 0 0 20 0 1 0 242015983 13081759744 2725960 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3193789 2725960 2432 595 0 3178456 0
Current children cumulated CPU time: 3035.44 s
Current children cumulated vsize: 12775156 KiB
Current children cumulated memory: 10903840 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.14 1.51 2/246 171221
/proc/meminfo: memFree=117975092/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12847460 memory=11027260 CPUtime=3095.29 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1538455 0 0 0 309128 401 0 0 20 0 1 0 242015983 13155799040 2756815 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3211865 2756815 2432 595 0 3196532 0
Current children cumulated CPU time: 3095.29 s
Current children cumulated vsize: 12847460 KiB
Current children cumulated memory: 11027260 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.13 1.48 2/246 171223
/proc/meminfo: memFree=117865144/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12895572 memory=11138860 CPUtime=3155.14 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1543626 0 0 0 315110 404 0 0 20 0 1 0 242015983 13205065728 2784715 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3223893 2784715 2432 595 0 3208560 0
Current children cumulated CPU time: 3155.14 s
Current children cumulated vsize: 12895572 KiB
Current children cumulated memory: 11138860 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 1.13 1.46 2/247 171226
/proc/meminfo: memFree=117746052/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12944500 memory=11247204 CPUtime=3214.99 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1551815 0 0 0 321091 408 0 0 20 0 1 0 242015983 13255168000 2811801 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3236125 2811801 2432 595 0 3220792 0
Current children cumulated CPU time: 3214.99 s
Current children cumulated vsize: 12944500 KiB
Current children cumulated memory: 11247204 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.12 1.43 2/247 171228
/proc/meminfo: memFree=117640912/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12999972 memory=11345696 CPUtime=3274.85 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1565335 0 0 0 327057 428 0 0 20 0 1 0 242015983 13311971328 2836424 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3249993 2836424 2432 595 0 3234660 0
Current children cumulated CPU time: 3274.85 s
Current children cumulated vsize: 12999972 KiB
Current children cumulated memory: 11345696 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.11 1.41 2/247 171230
/proc/meminfo: memFree=117637464/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12999972 memory=11345696 CPUtime=3334.75 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1566600 0 0 0 333047 428 0 0 20 0 1 0 242015983 13311971328 2836424 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3249993 2836424 2432 595 0 3234660 0
Current children cumulated CPU time: 3334.75 s
Current children cumulated vsize: 12999972 KiB
Current children cumulated memory: 11345696 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.12 1.39 2/246 171233
/proc/meminfo: memFree=117638548/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12999972 memory=11345696 CPUtime=3394.65 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1567302 0 0 0 339037 428 0 0 20 0 1 0 242015983 13311971328 2836424 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3249993 2836424 2432 595 0 3234660 0
Current children cumulated CPU time: 3394.65 s
Current children cumulated vsize: 12999972 KiB
Current children cumulated memory: 11345696 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.11 1.37 2/246 171235
/proc/meminfo: memFree=117638696/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=12999972 memory=11345696 CPUtime=3454.55 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1569306 0 0 0 345026 429 0 0 20 0 1 0 242015983 13311971328 2836424 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 3249993 2836424 2432 595 0 3234660 0
Current children cumulated CPU time: 3454.55 s
Current children cumulated vsize: 12999972 KiB
Current children cumulated memory: 11345696 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.10 1.35 2/245 171237
/proc/meminfo: memFree=119462804/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=10745908 memory=9522568 CPUtime=3514.4 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1576849 0 0 0 351009 431 0 0 20 0 1 0 242015983 11003809792 2380642 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 2686477 2380642 2528 595 0 2671144 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 10745908 KiB
Current children cumulated memory: 9522568 KiB
[startup+3522.84 s]
# the end of solver process 170276 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=3510.58 s, system=4.37216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3522.4 s]
/proc/loadavg: 1.08 1.10 1.35 2/245 171237
/proc/meminfo: memFree=119462804/131250000 swapFree=33010416/33010684
[pid=170276] ppid=170273 vsize=10745908 memory=9522568 CPUtime=3514.5 cores=5,7
/proc/170276/stat : 170276 (SynLSCD-PS) R 170273 170276 169195 0 -1 4194304 1576849 0 0 0 351019 431 0 0 20 0 1 0 242015983 11003809792 2380642 18446744073709551615 94143101771776 94143104207193 140732390024304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94143104687352 94143104720384 94143141634048 140732390025597 140732390025735 140732390025735 140732390031339 0
/proc/170276/statm: 2686477 2380642 2528 595 0 2671144 0
Current children cumulated CPU time: 3514.5 s
Current children cumulated vsize: 10745908 KiB
Current children cumulated memory: 9522568 KiB
[startup+3522.8 s]*
/proc/loadavg: 1.08 1.10 1.35 2/245 171237
/proc/meminfo: memFree=125368448/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 3522.84
CPU time (s): 3514.95
CPU user time (s): 3510.58
CPU system time (s): 4.37216
CPU usage (%): 99.7759
Max. virtual memory (cumulated for all children) (KiB): 13578528
Max. memory (cumulated for all children) (KiB): 11741532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3510.58
system time used= 4.37216
maximum resident set size= 11862368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1576899
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= 150
involuntary context switches= 1259
# summary of solver processes directly reported to runsolver:
# pid: 170276
# total CPU time (s): 3514.95
# total CPU user time (s): 3510.58
# total CPU system time (s): 4.37216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94171 second user time and 12.2267 second system time
The end
Begin job on nodeC018 at 2025-07-23 11:36:21
IDJOB=4546557
IDBENCH=163905
IDSOLVER=3422
FILE ID=nodeC018/4546557-1753263381
RUNJOBID= nodeC018-1753259701-169215
SLURM_JOB_ID= 9689173
Free space on /tmp= 432980 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.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-4546557-1753263381/watcher-4546557-1753263381 -o /tmp/evaluation-result-4546557-1753263381/solver-4546557-1753263381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753259701-169215 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546557-1753263381.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=1834945035
nodeC018 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.840
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.66
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.824
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.66
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 : 3328.777
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.66
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 : 3703.798
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.66
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.821
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.66
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.533
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.66
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.610
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.66
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.834
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128492180 kB
MemAvailable: 129153804 kB
Buffers: 2128 kB
Cached: 1411696 kB
SwapCached: 28 kB
Active: 1691052 kB
Inactive: 333468 kB
Active(anon): 636652 kB
Inactive(anon): 284 kB
Active(file): 1054400 kB
Inactive(file): 333184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28300 kB
Writeback: 0 kB
AnonPages: 613740 kB
Mapped: 120132 kB
Shmem: 26240 kB
KReclaimable: 226160 kB
Slab: 322628 kB
SReclaimable: 226160 kB
SUnreclaim: 96468 kB
KernelStack: 4256 kB
PageTables: 4400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1073080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 534528 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= 432988 MiB
End job on nodeC018 at 2025-07-23 12:35:04