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 (63067 MiB free)
memory of node 1: 64507 MiB (64021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501953-1751159270/watcher-4501953-1751159270 -o /tmp/evaluation-result-4501953-1751159270/solver-4501953-1751159270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751159266-20573 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4501953-1751159270.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=20899, runsolver pid=20896
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.79 1.76 2.50 5/267 20900
/proc/meminfo: memFree=130132140/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=105496 memory=34620 CPUtime=0.08 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 5194 0 0 0 8 0 0 0 20 0 1 0 31607273 108027904 8655 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 26374 8655 2240 595 0 11041 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105496 KiB
Current children cumulated memory: 34620 KiB
[startup+0.205574 s]*
/proc/loadavg: 0.79 1.76 2.50 5/267 20900
/proc/meminfo: memFree=130123572/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=114544 memory=44472 CPUtime=0.19 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 8560 0 0 0 18 1 0 0 20 0 1 0 31607273 117293056 11118 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 28636 11118 2400 595 0 13303 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114544 KiB
Current children cumulated memory: 44472 KiB
[startup+0.305548 s]*
/proc/loadavg: 0.79 1.76 2.50 5/267 20901
/proc/meminfo: memFree=130095852/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=138080 memory=63864 CPUtime=0.3 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 13312 0 0 0 27 3 0 0 20 0 1 0 31607273 141393920 15966 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 34520 15966 2464 595 0 19187 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138080 KiB
Current children cumulated memory: 63864 KiB
[startup+0.700126 s]
/proc/loadavg: 0.79 1.76 2.50 5/267 20901
/proc/meminfo: memFree=130075692/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=158360 memory=83192 CPUtime=0.68 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 18102 0 0 0 63 5 0 0 20 0 1 0 31607273 162160640 20798 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 39590 20798 2496 595 0 24257 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158360 KiB
Current children cumulated memory: 83192 KiB
[startup+1.50011 s]
/proc/loadavg: 1.05 1.80 2.51 5/267 20901
/proc/meminfo: memFree=130075692/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=158360 memory=83192 CPUtime=1.47 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 18102 0 0 0 133 14 0 0 20 0 1 0 31607273 162160640 20798 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 39590 20798 2496 595 0 24257 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158360 KiB
Current children cumulated memory: 83192 KiB
[startup+3.10524 s]
/proc/loadavg: 1.05 1.80 2.51 5/267 20901
/proc/meminfo: memFree=130075828/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=158360 memory=83192 CPUtime=3.08 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 18102 0 0 0 276 32 0 0 20 0 1 0 31607273 162160640 20798 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 39590 20798 2496 595 0 24257 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 158360 KiB
Current children cumulated memory: 83192 KiB
[startup+6.3001 s]
/proc/loadavg: 1.37 1.85 2.52 5/267 20946
/proc/meminfo: memFree=129994464/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=158360 memory=83192 CPUtime=6.27 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 18103 0 0 0 560 67 0 0 20 0 1 0 31607273 162160640 20798 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 39590 20798 2496 595 0 24257 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 158360 KiB
Current children cumulated memory: 83192 KiB
[startup+12.7001 s]
/proc/loadavg: 1.58 1.89 2.53 5/266 20993
/proc/meminfo: memFree=129939844/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=158360 memory=83192 CPUtime=12.65 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 18103 0 0 0 1129 136 0 0 20 0 1 0 31607273 162160640 20798 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 39590 20798 2496 595 0 24257 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158360 KiB
Current children cumulated memory: 83192 KiB
[startup+25.5001 s]
/proc/loadavg: 1.95 1.96 2.55 5/266 21038
/proc/meminfo: memFree=129944216/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=171652 memory=100856 CPUtime=25.42 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 21473 0 0 0 2384 158 0 0 20 0 1 0 31607273 175771648 25214 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 42913 25214 2528 595 0 27580 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 171652 KiB
Current children cumulated memory: 100856 KiB
[startup+51.1053 s]
/proc/loadavg: 2.84 2.17 2.60 5/265 21173
/proc/meminfo: memFree=129662956/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=185816 memory=116276 CPUtime=50.96 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 24822 0 0 0 4934 162 0 0 20 0 1 0 31607273 190275584 29069 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 46454 29069 2528 595 0 31121 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 185816 KiB
Current children cumulated memory: 116276 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.47 2.68 5/266 21178
/proc/meminfo: memFree=129583692/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=194628 memory=129844 CPUtime=102 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 27155 0 0 0 9855 345 0 0 20 0 1 0 31607273 199299072 32461 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 48657 32461 2528 595 0 33324 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 194628 KiB
Current children cumulated memory: 129844 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.77 2.77 5/266 21180
/proc/meminfo: memFree=129434356/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=204704 memory=143080 CPUtime=161.85 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 29614 0 0 0 15833 352 0 0 20 0 1 0 31607273 209616896 35770 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 51176 35770 2528 595 0 35843 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 204704 KiB
Current children cumulated memory: 143080 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.03 2.86 5/266 21182
/proc/meminfo: memFree=129388120/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=212532 memory=150376 CPUtime=221.71 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 31468 0 0 0 21645 526 0 0 20 0 1 0 31607273 217632768 37594 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 53133 37594 2528 595 0 37800 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 212532 KiB
Current children cumulated memory: 150376 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.22 2.94 5/266 21184
/proc/meminfo: memFree=129334640/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=217908 memory=155880 CPUtime=281.57 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 32835 0 0 0 27627 530 0 0 20 0 1 0 31607273 223137792 38970 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 54477 38970 2528 595 0 39144 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 217908 KiB
Current children cumulated memory: 155880 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 3.47 3.05 5/264 21186
/proc/meminfo: memFree=129266708/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=220800 memory=159208 CPUtime=341.38 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 33684 0 0 0 33598 540 0 0 20 0 1 0 31607273 226099200 39802 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 55200 39802 2528 595 0 39867 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 220800 KiB
Current children cumulated memory: 159208 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 3.61 3.12 5/264 21193
/proc/meminfo: memFree=129253432/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=224420 memory=162664 CPUtime=401.2 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 34537 0 0 0 39575 545 0 0 20 0 1 0 31607273 229806080 40666 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 56105 40666 2528 595 0 40772 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 224420 KiB
Current children cumulated memory: 162664 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.70 3.19 5/263 21195
/proc/meminfo: memFree=129187472/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=226896 memory=165224 CPUtime=461.01 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 35203 0 0 0 45302 799 0 0 20 0 1 0 31607273 232341504 41306 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 56724 41306 2528 595 0 41391 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 210548 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/264 21312
/proc/meminfo: memFree=128607672/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=280540 memory=214116 CPUtime=2914.53 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 45567 0 0 0 288096 3357 0 0 20 0 1 0 31607273 287272960 53529 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 70135 53529 2528 595 0 54802 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 280540 KiB
Current children cumulated memory: 214116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/264 21314
/proc/meminfo: memFree=128609224/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=281180 memory=214884 CPUtime=2974.38 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 45763 0 0 0 294077 3361 0 0 20 0 1 0 31607273 287928320 53721 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 70295 53721 2528 595 0 54962 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 281180 KiB
Current children cumulated memory: 214884 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/264 21319
/proc/meminfo: memFree=128611152/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=285308 memory=229228 CPUtime=3034.23 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 46795 0 0 0 300056 3367 0 0 20 0 1 0 31607273 292155392 57307 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 71327 57307 2528 595 0 55994 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 285308 KiB
Current children cumulated memory: 229228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/263 21323
/proc/meminfo: memFree=128567956/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=285824 memory=229740 CPUtime=3094.06 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 46927 0 0 0 305881 3525 0 0 20 0 1 0 31607273 292683776 57435 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 71456 57435 2528 595 0 56123 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 285824 KiB
Current children cumulated memory: 229740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 21325
/proc/meminfo: memFree=128596056/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=286340 memory=230252 CPUtime=3153.89 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47051 0 0 0 311861 3528 0 0 20 0 1 0 31607273 293212160 57563 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 71585 57563 2528 595 0 56252 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 286340 KiB
Current children cumulated memory: 230252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 21338
/proc/meminfo: memFree=128588412/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=286692 memory=230892 CPUtime=3213.71 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47229 0 0 0 317837 3534 0 0 20 0 1 0 31607273 293572608 57723 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 71673 57723 2528 595 0 56340 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 286692 KiB
Current children cumulated memory: 230892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 21340
/proc/meminfo: memFree=128584196/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=288148 memory=231532 CPUtime=3273.53 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47397 0 0 0 323814 3539 0 0 20 0 1 0 31607273 295063552 57883 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 72037 57883 2528 595 0 56704 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 288148 KiB
Current children cumulated memory: 231532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 21342
/proc/meminfo: memFree=128585088/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=288148 memory=231916 CPUtime=3333.36 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47481 0 0 0 329791 3545 0 0 20 0 1 0 31607273 295063552 57979 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 72037 57979 2528 595 0 56704 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 288148 KiB
Current children cumulated memory: 231916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 21348
/proc/meminfo: memFree=128586532/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=288148 memory=231916 CPUtime=3393.17 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47481 0 0 0 335769 3548 0 0 20 0 1 0 31607273 295063552 57979 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 72037 57979 2528 595 0 56704 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 288148 KiB
Current children cumulated memory: 231916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 21350
/proc/meminfo: memFree=128588564/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=288612 memory=232428 CPUtime=3452.99 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 47597 0 0 0 341540 3759 0 0 20 0 1 0 31607273 295538688 58107 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 72153 58107 2528 595 0 56820 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 288612 KiB
Current children cumulated memory: 232428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 21352
/proc/meminfo: memFree=128554504/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=315332 memory=242096 CPUtime=3512.82 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 48888 0 0 0 347476 3806 0 0 20 0 1 0 31607273 322899968 60524 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 78833 60524 2528 595 0 63500 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 315332 KiB
Current children cumulated memory: 242096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 21354
/proc/meminfo: memFree=128548568/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=316904 memory=252124 CPUtime=3572.64 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 49403 0 0 0 353344 3920 0 0 20 0 1 0 31607273 324509696 63031 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 79226 63031 2528 595 0 63893 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 316904 KiB
Current children cumulated memory: 252124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 21354
/proc/meminfo: memFree=128551176/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=316904 memory=252124 CPUtime=3600.05 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 49403 0 0 0 356053 3952 0 0 20 0 1 0 31607273 324509696 63031 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 79226 63031 2528 595 0 63893 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 316904 KiB
Current children cumulated memory: 252124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.06 s]
# the end of solver process 20899 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.79 s, system=39.5309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.15 4.13 4.09 5/264 21354
/proc/meminfo: memFree=128581896/131250000 swapFree=33010684/33010684
[pid=20899] ppid=20896 vsize=264060 memory=208608 CPUtime=3600.26 cores=5,7
/proc/20899/stat : 20899 (SynLSCD-PS) R 20896 20899 20557 0 -1 4194304 49409 0 0 0 356074 3952 0 0 20 0 1 0 31607273 270397440 52152 18446744073709551615 94903683162112 94903685597113 140727709854224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94903686077688 94903686110720 94903702802432 140727709858144 140727709858280 140727709858280 140727709863882 0
/proc/20899/statm: 66015 52152 2624 595 0 50682 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 264060 KiB
Current children cumulated memory: 208608 KiB
Child status: 0
Real time (s): 3610.06
CPU time (s): 3600.32
CPU user time (s): 3560.79
CPU system time (s): 39.5309
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 316904
Max. memory (cumulated for all children) (KiB): 252124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.79
system time used= 39.5309
maximum resident set size= 265868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49434
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= 207
involuntary context switches= 2194
# summary of solver processes directly reported to runsolver:
# pid: 20899
# total CPU time (s): 3600.32
# total CPU user time (s): 3560.79
# total CPU system time (s): 39.5309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6235 second user time and 15.1169 second system time
The end
Begin job on nodeC013 at 2025-06-29 03:07:50
IDJOB=4501953
IDBENCH=152982
IDSOLVER=3370
FILE ID=nodeC013/4501953-1751159270
RUNJOBID= nodeC013-1751159266-20573
SLURM_JOB_ID= 9587499
Free space on /tmp= 433044 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_3-sat.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-4501953-1751159270/watcher-4501953-1751159270 -o /tmp/evaluation-result-4501953-1751159270/solver-4501953-1751159270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751159266-20573 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4501953-1751159270.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=1077046406
nodeC013 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.838
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.67
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.784
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.67
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 : 3641.515
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.67
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 : 3598.699
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.67
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.834
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.67
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 : 3463.436
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.67
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 : 3598.335
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.67
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.861
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130139192 kB
MemAvailable: 129745188 kB
Buffers: 3280 kB
Cached: 370948 kB
SwapCached: 0 kB
Active: 365584 kB
Inactive: 162112 kB
Active(anon): 166764 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 162112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18728 kB
Writeback: 72 kB
AnonPages: 156680 kB
Mapped: 109816 kB
Shmem: 13284 kB
KReclaimable: 86016 kB
Slab: 168908 kB
SReclaimable: 86016 kB
SUnreclaim: 82892 kB
KernelStack: 4320 kB
PageTables: 3500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 537020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC013 at 2025-06-29 04:08:00