runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61271 MiB free)
memory of node 1: 64465 MiB (63338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546556-1753263381/watcher-4546556-1753263381 -o /tmp/evaluation-result-4546556-1753263381/solver-4546556-1753263381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753259701-182993 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546556-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
Starting watchdog thread
solver pid=183782, runsolver pid=183779
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.05 4.08 4.01 5/263 183783
/proc/meminfo: memFree=127363912/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=337028 memory=263252 CPUtime=0.08 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 10748 0 0 0 3 5 0 0 20 0 1 0 242017561 345116672 65813 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 84257 65813 2176 595 0 68924 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 337028 KiB
Current children cumulated memory: 263252 KiB
[startup+0.205566 s]*
/proc/loadavg: 4.05 4.08 4.01 5/263 183783
/proc/meminfo: memFree=127130956/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=566632 memory=492728 CPUtime=0.19 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 11907 0 0 0 9 10 0 0 20 0 1 0 242017561 580231168 123182 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 141658 123182 2176 595 0 126325 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 566632 KiB
Current children cumulated memory: 492728 KiB
[startup+0.30549 s]*
/proc/loadavg: 4.05 4.08 4.01 5/263 183783
/proc/meminfo: memFree=127050116/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=637184 memory=564336 CPUtime=0.29 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 20640 0 0 0 17 12 0 0 20 0 1 0 242017561 652476416 141084 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 159296 141084 2240 595 0 143963 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 637184 KiB
Current children cumulated memory: 564336 KiB
[startup+0.700157 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 183783
/proc/meminfo: memFree=126982012/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=770240 memory=701512 CPUtime=0.68 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 54296 0 0 0 50 18 0 0 20 0 1 0 242017561 788725760 175378 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 192560 175378 2240 595 0 177227 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 770240 KiB
Current children cumulated memory: 701512 KiB
[startup+1.50017 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 183783
/proc/meminfo: memFree=126808948/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=984164 memory=927268 CPUtime=1.48 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 103076 0 0 0 121 27 0 0 20 0 1 0 242017561 1007783936 231817 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 246041 231817 2240 595 0 230708 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 984164 KiB
Current children cumulated memory: 927268 KiB
[startup+3.10517 s]
/proc/loadavg: 4.05 4.08 4.01 4/259 183791
/proc/meminfo: memFree=126538288/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=1506728 memory=1401820 CPUtime=3.08 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 174424 0 0 0 263 45 0 0 20 0 1 0 242017561 1542889472 350455 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 376682 350455 2240 595 0 361349 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1506728 KiB
Current children cumulated memory: 1401820 KiB
[startup+6.30015 s]
/proc/loadavg: 4.04 4.07 4.01 5/260 183863
/proc/meminfo: memFree=123922540/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=2577120 memory=2321032 CPUtime=6.26 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 316343 0 0 0 543 83 0 0 20 0 1 0 242017561 2638970880 580226 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 644280 580258 2240 595 0 628947 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2577120 KiB
Current children cumulated memory: 2321032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.07 4.01 5/262 183873
/proc/meminfo: memFree=116994716/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=4478164 memory=4204808 CPUtime=12.64 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 606448 0 0 0 1114 150 0 0 20 0 1 0 242017561 4585639936 1051202 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 1119541 1051202 2336 595 0 1104208 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4478164 KiB
Current children cumulated memory: 4204808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.01 5/262 183874
/proc/meminfo: memFree=104291264/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9660696 memory=8515316 CPUtime=25.4 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1170395 0 0 0 2263 277 0 0 20 0 1 0 242017561 9892552704 2128829 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415174 2128829 2432 595 0 2399841 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 9660696 KiB
Current children cumulated memory: 8515316 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 183875
/proc/meminfo: memFree=83750128/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9660696 memory=8515316 CPUtime=50.91 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1170713 0 0 0 4814 277 0 0 20 0 1 0 242017561 9892552704 2128829 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415174 2128829 2432 595 0 2399841 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 9660696 KiB
Current children cumulated memory: 8515316 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 183930
/proc/meminfo: memFree=95111336/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=101.98 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1172319 0 0 0 9917 281 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/265 184022
/proc/meminfo: memFree=97709888/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=161.84 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1172418 0 0 0 15901 283 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/265 184113
/proc/meminfo: memFree=97469976/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=221.68 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1172550 0 0 0 21884 284 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/265 184115
/proc/meminfo: memFree=97425688/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=281.53 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1172718 0 0 0 27867 286 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 184117
/proc/meminfo: memFree=97398656/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=341.38 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1172932 0 0 0 33851 287 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/262 184119
/proc/meminfo: memFree=97427004/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=401.23 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1173050 0 0 0 39835 288 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 9663972 KiB
Current children cumulated memory: 8530448 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/262 184121
/proc/meminfo: memFree=97419252/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9663972 memory=8530448 CPUtime=461.07 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1173201 0 0 0 45819 288 0 0 20 0 1 0 242017561 9895907328 2132612 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2415993 2132612 2432 595 0 2400660 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 8673764 KiB
[startup+2022.3 s]
/proc/loadavg: 3.10 3.11 3.29 4/258 184244
/proc/meminfo: memFree=97291116/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9814168 memory=8787248 CPUtime=2017.73 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1201460 0 0 0 201461 312 0 0 20 0 1 0 242017561 10049708032 2196812 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2453542 2196812 2432 595 0 2438209 0
Current children cumulated CPU time: 2017.73 s
Current children cumulated vsize: 9814168 KiB
Current children cumulated memory: 8787248 KiB
[startup+2082.3 s]
/proc/loadavg: 3.08 3.11 3.27 4/258 184246
/proc/meminfo: memFree=97164092/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9871588 memory=8916348 CPUtime=2077.59 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1207587 0 0 0 207443 316 0 0 20 0 1 0 242017561 10108506112 2229087 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2467897 2229087 2432 595 0 2452564 0
Current children cumulated CPU time: 2077.59 s
Current children cumulated vsize: 9871588 KiB
Current children cumulated memory: 8916348 KiB
[startup+2142.3 s]
/proc/loadavg: 3.13 3.11 3.26 4/257 184248
/proc/meminfo: memFree=97068948/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9916616 memory=8998252 CPUtime=2137.46 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1215892 0 0 0 213413 333 0 0 20 0 1 0 242017561 10154614784 2249563 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2479154 2249563 2432 595 0 2463821 0
Current children cumulated CPU time: 2137.46 s
Current children cumulated vsize: 9916616 KiB
Current children cumulated memory: 8998252 KiB
[startup+2202.3 s]
/proc/loadavg: 3.09 3.11 3.25 4/258 184251
/proc/meminfo: memFree=97078960/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9916616 memory=8998252 CPUtime=2197.33 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1216725 0 0 0 219400 333 0 0 20 0 1 0 242017561 10154614784 2249563 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2479154 2249563 2432 595 0 2463821 0
Current children cumulated CPU time: 2197.33 s
Current children cumulated vsize: 9916616 KiB
Current children cumulated memory: 8998252 KiB
[startup+2262.3 s]
/proc/loadavg: 3.14 3.12 3.25 4/257 184253
/proc/meminfo: memFree=97075980/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9927376 memory=9008908 CPUtime=2257.2 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1219632 0 0 0 225386 334 0 0 20 0 1 0 242017561 10165633024 2252227 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2481844 2252227 2432 595 0 2466511 0
Current children cumulated CPU time: 2257.2 s
Current children cumulated vsize: 9927376 KiB
Current children cumulated memory: 9008908 KiB
[startup+2322.3 s]
/proc/loadavg: 3.11 3.11 3.23 4/257 184255
/proc/meminfo: memFree=97057792/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9946420 memory=9028028 CPUtime=2317.05 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1222820 0 0 0 231370 335 0 0 20 0 1 0 242017561 10185134080 2257007 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2486605 2257007 2432 595 0 2471272 0
Current children cumulated CPU time: 2317.05 s
Current children cumulated vsize: 9946420 KiB
Current children cumulated memory: 9028028 KiB
[startup+2358.77 s]
# the end of solver process 183782 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=2350 s, system=3.43587 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 3.09 3.11 3.23 4/257 184255
/proc/meminfo: memFree=97060188/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9946420 memory=9028028 CPUtime=2324.34 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1223349 0 0 0 232099 335 0 0 20 0 1 0 242017561 10185134080 2257007 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2486605 2257007 2432 595 0 2471272 0
Current children cumulated CPU time: 2324.34 s
Current children cumulated vsize: 9946420 KiB
Current children cumulated memory: 9028028 KiB
[startup+2342.4 s]
/proc/loadavg: 3.08 3.10 3.23 4/257 184255
/proc/meminfo: memFree=97057792/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9946420 memory=9028028 CPUtime=2337.11 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1223756 0 0 0 233376 335 0 0 20 0 1 0 242017561 10185134080 2257007 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2486605 2257007 2432 595 0 2471272 0
Current children cumulated CPU time: 2337.11 s
Current children cumulated vsize: 9946420 KiB
Current children cumulated memory: 9028028 KiB
[startup+2348.8 s]
/proc/loadavg: 3.15 3.12 3.23 4/257 184255
/proc/meminfo: memFree=97060188/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9946420 memory=9028028 CPUtime=2343.49 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224104 0 0 0 234014 335 0 0 20 0 1 0 242017561 10185134080 2257007 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2486605 2257007 2432 595 0 2471272 0
Current children cumulated CPU time: 2343.49 s
Current children cumulated vsize: 9946420 KiB
Current children cumulated memory: 9028028 KiB
[startup+2355.2 s]
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=97057800/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=9946420 memory=9028028 CPUtime=2349.87 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224391 0 0 0 234652 335 0 0 20 0 1 0 242017561 10185134080 2257007 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2486605 2257007 2432 595 0 2471272 0
Current children cumulated CPU time: 2349.87 s
Current children cumulated vsize: 9946420 KiB
Current children cumulated memory: 9028028 KiB
[startup+2356.8 s]
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=97057800/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=8882532 memory=7992880 CPUtime=2351.47 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224438 0 0 0 234811 336 0 0 20 0 1 0 242017561 9095712768 1998220 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2220633 1998220 2560 595 0 2205300 0
Current children cumulated CPU time: 2351.47 s
Current children cumulated vsize: 8882532 KiB
Current children cumulated memory: 7992880 KiB
[startup+2357.6 s]
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=98139904/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=8769504 memory=7879852 CPUtime=2352.27 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224535 0 0 0 234891 336 0 0 20 0 1 0 242017561 8979972096 1969963 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2192376 1969963 2560 595 0 2177043 0
Current children cumulated CPU time: 2352.27 s
Current children cumulated vsize: 8769504 KiB
Current children cumulated memory: 7879852 KiB
[startup+2358.4 s]
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=98586740/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=8379112 memory=7489460 CPUtime=2353.07 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224724 0 0 0 234971 336 0 0 20 0 1 0 242017561 8580210688 1872365 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2094778 1872365 2560 595 0 2079445 0
Current children cumulated CPU time: 2353.07 s
Current children cumulated vsize: 8379112 KiB
Current children cumulated memory: 7489460 KiB
[startup+2358.6 s]
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=98586740/131250000 swapFree=33009904/33010684
[pid=183782] ppid=183779 vsize=8379112 memory=7489460 CPUtime=2353.27 cores=5,7
/proc/183782/stat : 183782 (SynLSCD-PS) R 183779 183782 182973 0 -1 4194304 1224724 0 0 0 234991 336 0 0 20 0 1 0 242017561 8580210688 1872365 18446744073709551615 94071362514944 94071364950361 140728543896736 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071365430520 94071365463552 94071388254208 140728543897981 140728543898119 140728543898119 140728543903723 0
/proc/183782/statm: 2094778 1872365 2560 595 0 2079445 0
Current children cumulated CPU time: 2353.27 s
Current children cumulated vsize: 8379112 KiB
Current children cumulated memory: 7489460 KiB
[startup+2358.7 s]*
/proc/loadavg: 3.13 3.11 3.23 4/257 184255
/proc/meminfo: memFree=100288548/131250000 swapFree=33009904/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): 2358.77
CPU time (s): 2353.44
CPU user time (s): 2350
CPU system time (s): 3.43587
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 10305300
Max. memory (cumulated for all children) (KiB): 9359584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2350
system time used= 3.43587
maximum resident set size= 9359584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1224768
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= 136
involuntary context switches= 2473
# summary of solver processes directly reported to runsolver:
# pid: 183782
# total CPU time (s): 2353.44
# total CPU user time (s): 2350
# total CPU system time (s): 3.43587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94334 second user time and 8.84583 second system time
The end
Begin job on nodeC033 at 2025-07-23 11:36:21
IDJOB=4546556
IDBENCH=163916
IDSOLVER=3422
FILE ID=nodeC033/4546556-1753263381
RUNJOBID= nodeC033-1753259701-182993
SLURM_JOB_ID= 9689188
Free space on /tmp= 432560 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_height36_pigeons35_holes34.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-4546556-1753263381/watcher-4546556-1753263381 -o /tmp/evaluation-result-4546556-1753263381/solver-4546556-1753263381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753259701-182993 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546556-1753263381.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=1834945035
nodeC033 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 : 3600.059
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 : 7000.13
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 : 3600.088
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.589
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 : 7000.13
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 : 3671.314
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 : 7000.13
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 : 3600.074
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 : 7000.13
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 : 3600.056
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 : 7000.13
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.398
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 : 7000.13
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 : 3465.667
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127600684 kB
MemAvailable: 129107516 kB
Buffers: 2128 kB
Cached: 2229256 kB
SwapCached: 64 kB
Active: 1843788 kB
Inactive: 1002112 kB
Active(anon): 635472 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 996828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26920 kB
Writeback: 28 kB
AnonPages: 617864 kB
Mapped: 120564 kB
Shmem: 26228 kB
KReclaimable: 281852 kB
Slab: 380432 kB
SReclaimable: 281852 kB
SUnreclaim: 98580 kB
KernelStack: 4164 kB
PageTables: 4264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1044996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 536576 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432516 MiB
End job on nodeC033 at 2025-07-23 12:15:40