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: 63837 MiB (63277 MiB free)
memory of node 1: 64465 MiB (63966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503218-1751168806/watcher-4503218-1751168806 -o /tmp/evaluation-result-4503218-1751168806/solver-4503218-1751168806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751168806-19735 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503218-1751168806.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19770, runsolver pid=19764
[startup+0.100069 s]*
/proc/loadavg: 1.80 2.78 3.54 2/245 19783
/proc/meminfo: memFree=130298568/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=63796 memory=1536 CPUtime=0.01 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) D 19764 19770 19723 0 -1 4194304 151 0 12 0 0 1 0 0 20 0 1 0 32559744 65327104 384 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 15949 384 352 595 0 1171 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 63796 KiB
Current children cumulated memory: 1536 KiB
[startup+0.214078 s]*
/proc/loadavg: 1.80 2.78 3.54 6/252 19793
/proc/meminfo: memFree=130284376/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=0.03 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 2 1 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+0.313557 s]*
/proc/loadavg: 1.80 2.78 3.54 5/252 19793
/proc/meminfo: memFree=130272280/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=0.14 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 11 3 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+0.700258 s]
/proc/loadavg: 1.80 2.78 3.54 5/252 19793
/proc/meminfo: memFree=130270264/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=0.51 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 40 11 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+1.50025 s]
/proc/loadavg: 1.80 2.78 3.54 5/252 19793
/proc/meminfo: memFree=130245000/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=1.3 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 105 25 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+3.11229 s]
/proc/loadavg: 1.97 2.80 3.54 5/252 19793
/proc/meminfo: memFree=129584680/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=2.91 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 235 56 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+6.30023 s]
/proc/loadavg: 1.97 2.80 3.54 5/252 19793
/proc/meminfo: memFree=129584824/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=85696 memory=12928 CPUtime=6.09 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 1060 0 29 0 485 124 0 0 20 0 1 0 32559744 87752704 3232 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21424 3232 2464 595 0 6091 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 85696 KiB
Current children cumulated memory: 12928 KiB
[startup+12.7002 s]
/proc/loadavg: 2.22 2.84 3.55 5/252 19793
/proc/meminfo: memFree=129582408/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=87860 memory=18204 CPUtime=12.48 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 2184 0 29 0 1098 150 0 0 20 0 1 0 32559744 89968640 4551 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 21965 4551 2496 595 0 6632 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 87860 KiB
Current children cumulated memory: 18204 KiB
[startup+25.5003 s]
/proc/loadavg: 2.61 2.89 3.56 5/252 19793
/proc/meminfo: memFree=129587324/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=88492 memory=20832 CPUtime=25.24 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 2641 0 29 0 2240 284 0 0 20 0 1 0 32559744 90615808 5208 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22123 5208 2496 595 0 6790 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 88492 KiB
Current children cumulated memory: 20832 KiB
[startup+51.1131 s]
/proc/loadavg: 3.27 3.03 3.59 5/252 19838
/proc/meminfo: memFree=128958772/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=89248 memory=21596 CPUtime=50.76 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 3801 0 29 0 4638 438 0 0 20 0 1 0 32559744 91389952 5399 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22312 5399 2496 595 0 6979 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 21596 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 3.20 3.62 5/255 19848
/proc/meminfo: memFree=128902088/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=90100 memory=22572 CPUtime=101.8 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 5866 0 29 0 9484 696 0 0 20 0 1 0 32559744 92262400 5643 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22525 5643 2496 595 0 7192 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 90100 KiB
Current children cumulated memory: 22572 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.36 3.65 5/255 19850
/proc/meminfo: memFree=128906168/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=90444 memory=22848 CPUtime=161.63 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 7920 0 29 0 15124 1039 0 0 20 0 1 0 32559744 92614656 5712 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22611 5712 2496 595 0 7278 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 90444 KiB
Current children cumulated memory: 22848 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.50 3.68 5/254 19852
/proc/meminfo: memFree=128887100/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=91228 memory=23584 CPUtime=221.46 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 10371 0 29 0 20909 1237 0 0 20 0 1 0 32559744 93417472 5896 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22807 5896 2496 595 0 7474 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 91228 KiB
Current children cumulated memory: 23584 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.60 3.71 5/254 19898
/proc/meminfo: memFree=128587640/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=91324 memory=23680 CPUtime=281.28 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 12421 0 29 0 26465 1663 0 0 20 0 1 0 32559744 93515776 5920 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22831 5920 2496 595 0 7498 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 91324 KiB
Current children cumulated memory: 23680 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.71 3.74 5/253 19900
/proc/meminfo: memFree=128584956/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=91612 memory=23972 CPUtime=341.08 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 14636 0 29 0 32140 1968 0 0 20 0 1 0 32559744 93810688 5993 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 22903 5993 2496 595 0 7570 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 91612 KiB
Current children cumulated memory: 23972 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.77 3.76 5/250 19902
/proc/meminfo: memFree=128546896/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=92012 memory=24372 CPUtime=400.85 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 16855 0 29 0 37925 2160 0 0 20 0 1 0 32559744 94220288 6093 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 23003 6093 2496 595 0 7670 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 92012 KiB
Current children cumulated memory: 24372 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.84 3.78 5/250 19905
/proc/meminfo: memFree=128547844/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=92524 memory=26932 CPUtime=460.62 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 18680 0 29 0 43712 2350 0 0 20 0 1 0 32559744 94744576 6733 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 23131 6733 2496 595 0 7798 0
Current children cumulated CPU time: 460.62 s
################
# More data... #
################
Current children cumulated memory: 31408 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/249 20030
/proc/meminfo: memFree=128433748/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97064 memory=31472 CPUtime=2913.12 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 73575 0 29 0 278542 12770 0 0 20 0 1 0 32559744 99393536 7868 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24266 7868 2496 595 0 8933 0
Current children cumulated CPU time: 2913.12 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 31472 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/251 20036
/proc/meminfo: memFree=128433732/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97064 memory=31472 CPUtime=2972.96 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 76456 0 29 0 284148 13148 0 0 20 0 1 0 32559744 99393536 7868 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24266 7868 2496 595 0 8933 0
Current children cumulated CPU time: 2972.96 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 31472 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/251 20038
/proc/meminfo: memFree=128433244/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97160 memory=31568 CPUtime=3032.8 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 79475 0 29 0 289877 13403 0 0 20 0 1 0 32559744 99491840 7892 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24290 7892 2496 595 0 8957 0
Current children cumulated CPU time: 3032.8 s
Current children cumulated vsize: 97160 KiB
Current children cumulated memory: 31568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/252 20043
/proc/meminfo: memFree=128431000/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97320 memory=31728 CPUtime=3092.63 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 82398 0 29 0 295799 13464 0 0 20 0 1 0 32559744 99655680 7932 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24330 7932 2496 595 0 8997 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 97320 KiB
Current children cumulated memory: 31728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/252 20047
/proc/meminfo: memFree=128430748/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97640 memory=31984 CPUtime=3152.46 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 85223 0 29 0 301723 13523 0 0 20 0 1 0 32559744 99983360 7996 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24410 7996 2496 595 0 9077 0
Current children cumulated CPU time: 3152.46 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 31984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/252 20049
/proc/meminfo: memFree=128414868/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97448 memory=31856 CPUtime=3212.31 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 88169 0 29 0 307396 13835 0 0 20 0 1 0 32559744 99786752 7964 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24362 7964 2496 595 0 9029 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 97448 KiB
Current children cumulated memory: 31856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/251 20051
/proc/meminfo: memFree=128419760/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97512 memory=31920 CPUtime=3272.14 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 90349 0 29 0 313056 14158 0 0 20 0 1 0 32559744 99852288 7980 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24378 7980 2496 595 0 9045 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 97512 KiB
Current children cumulated memory: 31920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/251 20053
/proc/meminfo: memFree=128420032/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97512 memory=31920 CPUtime=3331.97 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 92157 0 29 0 318723 14474 0 0 20 0 1 0 32559744 99852288 7980 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24378 7980 2496 595 0 9045 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 97512 KiB
Current children cumulated memory: 31920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 20055
/proc/meminfo: memFree=128420804/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97512 memory=31920 CPUtime=3391.81 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 93833 0 29 0 324519 14662 0 0 20 0 1 0 32559744 99852288 7980 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24378 7980 2496 595 0 9045 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 97512 KiB
Current children cumulated memory: 31920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/250 20057
/proc/meminfo: memFree=128421568/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97512 memory=31920 CPUtime=3451.65 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 96576 0 29 0 330189 14976 0 0 20 0 1 0 32559744 99852288 7980 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24378 7980 2496 595 0 9045 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 97512 KiB
Current children cumulated memory: 31920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.12 4.14 5/250 20059
/proc/meminfo: memFree=128422576/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97576 memory=31984 CPUtime=3511.48 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 99372 0 29 0 335858 15290 0 0 20 0 1 0 32559744 99917824 7996 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24394 7996 2496 595 0 9061 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 97576 KiB
Current children cumulated memory: 31984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/250 20063
/proc/meminfo: memFree=128424792/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97608 memory=32016 CPUtime=3571.32 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 102061 0 29 0 341525 15607 0 0 20 0 1 0 32559744 99950592 8004 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24402 8004 2496 595 0 9069 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 97608 KiB
Current children cumulated memory: 32016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.15 4.12 4.13 4/245 20071
/proc/meminfo: memFree=128961864/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97736 memory=32144 CPUtime=3600.05 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 103486 0 29 0 344368 15637 0 0 20 0 1 0 32559744 100081664 8036 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24434 8036 2496 595 0 9101 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 97736 KiB
Current children cumulated memory: 32144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 19770 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3443.69 s, system=156.371 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.15 4.12 4.13 4/245 20071
/proc/meminfo: memFree=128961864/131382120 swapFree=33010684/33010684
[pid=19770] ppid=19764 vsize=97736 memory=32144 CPUtime=3600.05 cores=1,3
/proc/19770/stat : 19770 (SynLSCD) R 19764 19770 19723 0 -1 4194304 103486 0 29 0 344368 15637 0 0 20 0 1 0 32559744 100081664 8036 18446744073709551615 94380510306304 94380512740457 140733807516944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94380513221880 94380513254912 94380539793408 140733807524198 140733807524331 140733807524331 140733807529933 0
/proc/19770/statm: 24434 8036 2496 595 0 9101 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 97736 KiB
Current children cumulated memory: 32144 KiB
Child status: 0
Real time (s): 3611.12
CPU time (s): 3600.06
CPU user time (s): 3443.69
CPU system time (s): 156.371
CPU usage (%): 99.6939
Max. virtual memory (cumulated for all children) (KiB): 97928
Max. memory (cumulated for all children) (KiB): 32144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3443.69
system time used= 156.371
maximum resident set size= 32464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103516
page faults= 29
swaps= 0
block input operations= 10104
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233
involuntary context switches= 2608
# summary of solver processes directly reported to runsolver:
# pid: 19770
# total CPU time (s): 3600.06
# total CPU user time (s): 3443.69
# total CPU system time (s): 156.371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7852 second user time and 33.1702 second system time
The end
Begin job on nodeC008 at 2025-06-29 05:46:46
IDJOB=4503218
IDBENCH=155408
IDSOLVER=3369
FILE ID=nodeC008/4503218-1751168806
RUNJOBID= nodeC008-1751168806-19735
SLURM_JOB_ID= 9587514
Free space on /tmp= 433060 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820146.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503218-1751168806/watcher-4503218-1751168806 -o /tmp/evaluation-result-4503218-1751168806/solver-4503218-1751168806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751168806-19735 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503218-1751168806.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 081659ee65bc936cbb896171f511d736
RANDOM SEED=148209762
nodeC008 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 : 0xb00001f
cpu MHz : 1197.437
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.707
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130289892 kB
MemAvailable: 129911252 kB
Buffers: 3280 kB
Cached: 408504 kB
SwapCached: 0 kB
Active: 288136 kB
Inactive: 210372 kB
Active(anon): 104680 kB
Inactive(anon): 0 kB
Active(file): 183456 kB
Inactive(file): 210372 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18704 kB
Writeback: 0 kB
AnonPages: 89852 kB
Mapped: 102132 kB
Shmem: 17956 kB
KReclaimable: 84764 kB
Slab: 163364 kB
SReclaimable: 84764 kB
SUnreclaim: 78600 kB
KernelStack: 3872 kB
PageTables: 2936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 347272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC008 at 2025-06-29 06:46:58