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 (61947 MiB free)
memory of node 1: 64507 MiB (63264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546295-1753259777/watcher-4546295-1753259777 -o /tmp/evaluation-result-4546295-1753259777/solver-4546295-1753259777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753259701-203629 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546295-1753259777.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=204088, runsolver pid=204084
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 3.20 1.04 0.42 3/267 204093
/proc/meminfo: memFree=128217204/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) D 204084 204088 203609 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241658117 17514496 160 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.20542 s]*
/proc/loadavg: 3.20 1.04 0.42 3/267 204093
/proc/meminfo: memFree=128216964/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=27740 memory=1280 CPUtime=0 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) D 204084 204088 203609 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 241658117 28405760 320 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 6935 320 288 595 0 1117 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27740 KiB
Current children cumulated memory: 1280 KiB
[startup+0.305055 s]*
/proc/loadavg: 3.20 1.04 0.42 4/267 204093
/proc/meminfo: memFree=128217236/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=105916 memory=35304 CPUtime=0.05 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 5312 0 0 0 5 0 0 0 20 0 1 0 241658117 108457984 8826 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 26479 8826 2272 595 0 11146 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 105916 KiB
Current children cumulated memory: 35304 KiB
[startup+0.70015 s]
/proc/loadavg: 3.20 1.04 0.42 5/267 204093
/proc/meminfo: memFree=128152092/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=142048 memory=68316 CPUtime=0.44 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 13354 0 0 0 42 2 0 0 20 0 1 0 241658117 145457152 17079 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 35512 17079 2432 595 0 20179 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 142048 KiB
Current children cumulated memory: 68316 KiB
[startup+1.50018 s]
/proc/loadavg: 3.20 1.04 0.42 5/267 204093
/proc/meminfo: memFree=128126168/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=180752 memory=106204 CPUtime=1.24 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 22797 0 0 0 120 4 0 0 20 0 1 0 241658117 185090048 26551 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 45188 26551 2464 595 0 29855 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 180752 KiB
Current children cumulated memory: 106204 KiB
[startup+3.10539 s]
/proc/loadavg: 3.26 1.09 0.44 5/267 204094
/proc/meminfo: memFree=128046304/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=180752 memory=106204 CPUtime=2.84 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 22797 0 0 0 280 4 0 0 20 0 1 0 241658117 185090048 26551 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 45188 26551 2464 595 0 29855 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 180752 KiB
Current children cumulated memory: 106204 KiB
[startup+6.30016 s]
/proc/loadavg: 3.26 1.09 0.44 5/267 204094
/proc/meminfo: memFree=128046808/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=180752 memory=106204 CPUtime=6.03 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 22797 0 0 0 599 4 0 0 20 0 1 0 241658117 185090048 26551 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 45188 26551 2464 595 0 29855 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 180752 KiB
Current children cumulated memory: 106204 KiB
[startup+12.7002 s]
/proc/loadavg: 3.32 1.14 0.46 5/268 204095
/proc/meminfo: memFree=128043476/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=180752 memory=106204 CPUtime=12.41 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 22797 0 0 0 1237 4 0 0 20 0 1 0 241658117 185090048 26551 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 45188 26551 2464 595 0 29855 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 180752 KiB
Current children cumulated memory: 106204 KiB
[startup+25.5002 s]
/proc/loadavg: 3.55 1.30 0.52 5/268 204095
/proc/meminfo: memFree=128024416/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=203824 memory=132580 CPUtime=25.18 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 25453 0 0 0 2513 5 0 0 20 0 1 0 241658117 208715776 33145 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 50956 33145 2496 595 0 35623 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 203824 KiB
Current children cumulated memory: 132580 KiB
[startup+51.1054 s]
/proc/loadavg: 3.76 1.53 0.62 5/268 204095
/proc/meminfo: memFree=127858356/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=254068 memory=181736 CPUtime=50.71 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 33140 0 0 0 5062 9 0 0 20 0 1 0 241658117 260165632 45434 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 63517 45434 2496 595 0 48184 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 254068 KiB
Current children cumulated memory: 181736 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 1.93 0.81 5/267 204097
/proc/meminfo: memFree=127817268/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=279952 memory=207336 CPUtime=101.78 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 39515 0 0 0 10164 14 0 0 20 0 1 0 241658117 286670848 51834 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 69988 51834 2496 595 0 54655 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 279952 KiB
Current children cumulated memory: 207336 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.32 1.02 5/267 204099
/proc/meminfo: memFree=127722676/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=335456 memory=240072 CPUtime=161.63 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 44033 0 0 0 16140 23 0 0 20 0 1 0 241658117 343506944 60018 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 83864 60018 2528 595 0 68531 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 335456 KiB
Current children cumulated memory: 240072 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.65 1.21 5/266 204101
/proc/meminfo: memFree=127698996/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=342180 memory=246728 CPUtime=221.48 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 45690 0 0 0 22125 23 0 0 20 0 1 0 241658117 350392320 61682 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 85545 61682 2528 595 0 70212 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 342180 KiB
Current children cumulated memory: 246728 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.91 1.39 5/263 204103
/proc/meminfo: memFree=127672416/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=353252 memory=257224 CPUtime=281.33 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 48323 0 0 0 28109 24 0 0 20 0 1 0 241658117 361730048 64306 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 88313 64306 2528 595 0 72980 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 353252 KiB
Current children cumulated memory: 257224 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.14 1.57 5/262 204105
/proc/meminfo: memFree=127619884/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=360804 memory=267336 CPUtime=341.18 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 50119 0 0 0 34088 30 0 0 20 0 1 0 241658117 369463296 66834 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 90201 66834 2528 595 0 74868 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 360804 KiB
Current children cumulated memory: 267336 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.30 1.72 5/262 204107
/proc/meminfo: memFree=127612564/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=370980 memory=278344 CPUtime=401 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 52767 0 0 0 40066 34 0 0 20 0 1 0 241658117 379883520 69586 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 92745 69586 2528 595 0 77412 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 370980 KiB
Current children cumulated memory: 278344 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.46 1.88 5/263 204110
/proc/meminfo: memFree=127584240/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=370980 memory=306136 CPUtime=460.86 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 52895 0 0 0 46051 35 0 0 20 0 1 0 241658117 379883520 76534 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 92745 76534 2528 595 0 77412 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 416596 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.00 5/263 204336
/proc/meminfo: memFree=127392812/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=522508 memory=417748 CPUtime=2914.7 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 73109 0 0 0 291367 103 0 0 20 0 1 0 241658117 535048192 104437 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 130627 104437 2528 595 0 115294 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 522508 KiB
Current children cumulated memory: 417748 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.00 5/263 204345
/proc/meminfo: memFree=127379896/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=524320 memory=419924 CPUtime=2974.55 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 73558 0 0 0 297352 103 0 0 20 0 1 0 241658117 536903680 104981 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 131080 104981 2528 595 0 115747 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 524320 KiB
Current children cumulated memory: 419924 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.00 5/263 204347
/proc/meminfo: memFree=127381472/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=525416 memory=420436 CPUtime=3034.41 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 73796 0 0 0 303336 105 0 0 20 0 1 0 241658117 538025984 105109 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 131354 105109 2528 595 0 116021 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 525416 KiB
Current children cumulated memory: 420436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/264 204350
/proc/meminfo: memFree=127381200/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=526556 memory=421716 CPUtime=3094.27 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 74142 0 0 0 309312 115 0 0 20 0 1 0 241658117 539193344 105429 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 131639 105429 2528 595 0 116306 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 526556 KiB
Current children cumulated memory: 421716 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/264 204352
/proc/meminfo: memFree=127373268/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=531360 memory=425940 CPUtime=3154.14 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75192 0 0 0 315298 116 0 0 20 0 1 0 241658117 544112640 106485 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 132840 106485 2528 595 0 117507 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 531360 KiB
Current children cumulated memory: 425940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/264 204354
/proc/meminfo: memFree=127371992/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=531360 memory=425940 CPUtime=3214 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75201 0 0 0 321284 116 0 0 20 0 1 0 241658117 544112640 106485 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 132840 106485 2528 595 0 117507 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 531360 KiB
Current children cumulated memory: 425940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/264 204356
/proc/meminfo: memFree=127371992/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=531360 memory=425940 CPUtime=3273.86 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75214 0 0 0 327270 116 0 0 20 0 1 0 241658117 544112640 106485 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 132840 106485 2528 595 0 117507 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 531360 KiB
Current children cumulated memory: 425940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/263 204358
/proc/meminfo: memFree=127372616/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3333.72 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75969 0 0 0 333256 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 204360
/proc/meminfo: memFree=127372584/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3393.58 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75969 0 0 0 339242 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.00 5/262 204362
/proc/meminfo: memFree=127372020/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3453.45 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75969 0 0 0 345229 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 204365
/proc/meminfo: memFree=127371936/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3513.31 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75969 0 0 0 351215 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 204374
/proc/meminfo: memFree=127382964/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3573.17 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75972 0 0 0 357201 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 204419
/proc/meminfo: memFree=127383752/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=534400 memory=429012 CPUtime=3600 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75972 0 0 0 359884 116 0 0 20 0 1 0 241658117 547225600 107253 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 133600 107253 2528 595 0 118267 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 534400 KiB
Current children cumulated memory: 429012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 204088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.25 s, system=1.16502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 204419
/proc/meminfo: memFree=127383752/131250000 swapFree=33008868/33010684
[pid=204088] ppid=204084 vsize=358284 memory=302116 CPUtime=3600.4 cores=5,7
/proc/204088/stat : 204088 (SynLSCD-PS) R 204084 204088 203609 0 -1 4194304 75977 0 0 0 359924 116 0 0 20 0 1 0 241658117 366882816 75529 18446744073709551615 94458108735488 94458111170905 140725798706624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94458111651064 94458111684096 94458115981312 140725798709629 140725798709767 140725798709767 140725798715371 0
/proc/204088/statm: 89571 75529 2592 595 0 74238 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 358284 KiB
Current children cumulated memory: 302116 KiB
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.41
CPU user time (s): 3599.25
CPU system time (s): 1.16502
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 560588
Max. memory (cumulated for all children) (KiB): 433304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 1.16502
maximum resident set size= 437400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76003
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= 217
involuntary context switches= 1696
# summary of solver processes directly reported to runsolver:
# pid: 204088
# total CPU time (s): 3600.41
# total CPU user time (s): 3599.25
# total CPU system time (s): 1.16502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71854 second user time and 15.6532 second system time
The end
Begin job on nodeC013 at 2025-07-23 10:36:18
IDJOB=4546295
IDBENCH=158308
IDSOLVER=3422
FILE ID=nodeC013/4546295-1753259777
RUNJOBID= nodeC013-1753259701-203629
SLURM_JOB_ID= 9689168
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.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-4546295-1753259777/watcher-4546295-1753259777 -o /tmp/evaluation-result-4546295-1753259777/solver-4546295-1753259777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753259701-203629 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546295-1753259777.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1834945035
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.997
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.838
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 : 3599.212
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 : 3600.215
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.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3599.175
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 : 3654.899
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.322
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: 128217716 kB
MemAvailable: 129312816 kB
Buffers: 1668 kB
Cached: 1835240 kB
SwapCached: 52 kB
Active: 1271360 kB
Inactive: 977272 kB
Active(anon): 428276 kB
Inactive(anon): 4872 kB
Active(file): 843084 kB
Inactive(file): 972400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16836 kB
Writeback: 0 kB
AnonPages: 415160 kB
Mapped: 113036 kB
Shmem: 21424 kB
KReclaimable: 237308 kB
Slab: 334064 kB
SReclaimable: 237308 kB
SUnreclaim: 96756 kB
KernelStack: 4272 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 759088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 92160 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= 433024 MiB
End job on nodeC013 at 2025-07-23 11:36:28