2.09/2.12 c Filename:instance-4498976-1751418760.opb, Cutoff_time:3600, memory_limit_gb:500000
2.09/2.12 c Scip time: 1800
2.09/2.12 c Use Presolve
2.09/2.12 c Parse finsih
2.09/2.12 c Start Presolve
2.09/2.12 c After Reduce Vars: 8415 Clauses: 770 Top clause weight: 1 Hard Clauses: 770
3600.00/3609.01 c Use LS-small
3600.00/3609.01 s UNKNOWN
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 (62990 MiB free)
memory of node 1: 64465 MiB (63088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498976-1751418760/watcher-4498976-1751418760 -o /tmp/evaluation-result-4498976-1751418760/solver-4498976-1751418760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751418760-58836 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4498976-1751418760.opb -t 3600 -s 28138621
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=58880, runsolver pid=58872
[startup+0.100097 s]*
/proc/loadavg: 0.24 0.77 1.27 5/251 58885
/proc/meminfo: memFree=129101200/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=21660 memory=6872 CPUtime=0.1 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 956 0 0 0 10 0 0 0 20 0 1 0 57555395 22179840 1718 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 5415 1718 1088 2752 0 2068 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21660 KiB
Current children cumulated memory: 6872 KiB
[startup+0.212883 s]*
/proc/loadavg: 0.24 0.77 1.27 5/251 58885
/proc/meminfo: memFree=129085072/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=22816 memory=7744 CPUtime=0.21 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 1431 0 0 0 21 0 0 0 20 0 1 0 57555395 23363584 1936 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 5704 1936 1088 2752 0 2357 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22816 KiB
Current children cumulated memory: 7744 KiB
[startup+0.312792 s]*
/proc/loadavg: 0.24 0.77 1.27 5/251 58885
/proc/meminfo: memFree=129077008/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=24864 memory=9628 CPUtime=0.31 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 1904 0 0 0 31 0 0 0 20 0 1 0 57555395 25460736 2407 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 6216 2407 1088 2752 0 2869 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24864 KiB
Current children cumulated memory: 9628 KiB
[startup+0.700268 s]
/proc/loadavg: 0.24 0.77 1.27 5/251 58885
/proc/meminfo: memFree=129039220/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=35900 memory=20764 CPUtime=0.68 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 4655 0 0 0 67 1 0 0 20 0 1 0 57555395 36761600 5191 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 8975 5191 1152 2752 0 5628 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35900 KiB
Current children cumulated memory: 20764 KiB
[startup+1.50032 s]
/proc/loadavg: 0.24 0.77 1.27 5/254 58895
/proc/meminfo: memFree=128975340/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=120488 memory=107352 CPUtime=1.49 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 24514 0 0 0 142 7 0 0 20 0 1 0 57555395 123379712 26838 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 30122 26838 2720 2752 0 26775 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 107352 KiB
[startup+3.11289 s]
/proc/loadavg: 0.54 0.83 1.28 5/254 58895
/proc/meminfo: memFree=128478464/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=189532 memory=173552 CPUtime=3.09 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 42127 0 0 0 298 11 0 0 20 0 1 0 57555395 194080768 43388 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 47383 43388 2816 2752 0 44036 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 189532 KiB
Current children cumulated memory: 173552 KiB
[startup+6.30031 s]
/proc/loadavg: 0.54 0.83 1.28 5/254 58895
/proc/meminfo: memFree=127531568/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=234552 memory=220100 CPUtime=6.27 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 55607 0 0 0 614 13 0 0 20 0 1 0 57555395 240181248 55025 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 58638 55025 2816 2752 0 55291 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 234552 KiB
Current children cumulated memory: 220100 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.93 1.31 4/249 58931
/proc/meminfo: memFree=125884264/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=227556 memory=213480 CPUtime=12.65 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 63860 0 0 0 1250 15 0 0 20 0 1 0 57555395 233017344 53370 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 56889 53370 2816 2752 0 53542 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227556 KiB
Current children cumulated memory: 213480 KiB
[startup+25.5003 s]
/proc/loadavg: 1.37 1.00 1.33 4/249 58931
/proc/meminfo: memFree=121899656/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=273328 memory=258448 CPUtime=25.4 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 88931 0 0 0 2521 19 0 0 20 0 1 0 57555395 279887872 64612 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 68332 64612 2816 2752 0 64985 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 273328 KiB
Current children cumulated memory: 258448 KiB
[startup+51.1128 s]
/proc/loadavg: 1.99 1.18 1.38 4/249 58932
/proc/meminfo: memFree=113998444/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=331496 memory=317392 CPUtime=50.92 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 109602 0 0 0 5069 23 0 0 20 0 1 0 57555395 339451904 79348 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 82874 79348 2816 2752 0 79527 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 331496 KiB
Current children cumulated memory: 317392 KiB
[startup+102.3 s]
/proc/loadavg: 2.72 1.52 1.49 4/249 58935
/proc/meminfo: memFree=98782652/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=336388 memory=324944 CPUtime=101.94 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 110921 0 0 0 10171 23 0 0 20 0 1 0 57555395 344461312 81236 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 84097 81236 2816 2752 0 80750 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 336388 KiB
Current children cumulated memory: 324944 KiB
[startup+162.3 s]
/proc/loadavg: 2.36 1.64 1.53 3/245 58973
/proc/meminfo: memFree=127154036/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=339832 memory=329980 CPUtime=161.77 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 113026 0 0 0 16153 24 0 0 20 0 1 0 57555395 347987968 82495 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 84958 82495 2816 2752 0 81611 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 339832 KiB
Current children cumulated memory: 329980 KiB
[startup+222.3 s]
/proc/loadavg: 2.18 1.72 1.57 3/244 58975
/proc/meminfo: memFree=127601000/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=339832 memory=329980 CPUtime=221.58 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 113146 0 0 0 22134 24 0 0 20 0 1 0 57555395 347987968 82495 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 84958 82495 2816 2752 0 81611 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 339832 KiB
Current children cumulated memory: 329980 KiB
[startup+282.3 s]
/proc/loadavg: 2.16 1.80 1.61 3/242 58976
/proc/meminfo: memFree=127916416/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=339832 memory=330748 CPUtime=281.43 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 113282 0 0 0 28119 24 0 0 20 0 1 0 57555395 347987968 82687 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 84958 82687 2816 2752 0 81611 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 339832 KiB
Current children cumulated memory: 330748 KiB
[startup+342.3 s]
/proc/loadavg: 2.11 1.86 1.64 3/241 58978
/proc/meminfo: memFree=128240248/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=376608 memory=365436 CPUtime=341.27 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 122128 0 0 0 34101 26 0 0 20 0 1 0 57555395 385646592 91359 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 94152 91359 2816 2752 0 90805 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 376608 KiB
Current children cumulated memory: 365436 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 1.90 1.67 3/242 58981
/proc/meminfo: memFree=128572384/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=376608 memory=365436 CPUtime=401.12 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 122133 0 0 0 40086 26 0 0 20 0 1 0 57555395 385646592 91359 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 94152 91359 2816 2752 0 90805 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 376608 KiB
Current children cumulated memory: 365436 KiB
[startup+462.3 s]
/proc/loadavg: 2.18 1.97 1.71 3/240 58983
/proc/meminfo: memFree=128672556/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=376608 memory=365564 CPUtime=460.96 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 122292 0 0 0 46070 26 0 0 20 0 1 0 57555395 385646592 91391 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 94152 91391 2816 2752 0 90805 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 415028 KiB
[startup+2862.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/237 59098
/proc/meminfo: memFree=128619968/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=2855.03 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137822 0 0 0 285474 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 2855.03 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+2922.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/238 59114
/proc/meminfo: memFree=128620040/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=2914.89 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137822 0 0 0 291460 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+2982.3 s]
/proc/loadavg: 2.12 2.10 2.04 3/238 59116
/proc/meminfo: memFree=128621060/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=2974.75 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137835 0 0 0 297446 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3042.3 s]
/proc/loadavg: 2.07 2.09 2.04 3/239 59123
/proc/meminfo: memFree=128622320/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3034.61 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137835 0 0 0 303432 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3102.3 s]
/proc/loadavg: 2.07 2.09 2.04 3/239 59125
/proc/meminfo: memFree=128625128/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3094.47 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137835 0 0 0 309418 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/239 59127
/proc/meminfo: memFree=128625132/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3154.33 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137835 0 0 0 315404 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/238 59129
/proc/meminfo: memFree=128626912/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3214.19 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137848 0 0 0 321390 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.11 2.05 3/238 59131
/proc/meminfo: memFree=128627668/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3274.05 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137848 0 0 0 327376 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.10 2.05 3/237 59133
/proc/meminfo: memFree=128628424/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3333.91 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137848 0 0 0 333362 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.09 2.05 3/238 59136
/proc/meminfo: memFree=128629180/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3393.77 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137861 0 0 0 339348 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3462.3 s]
/proc/loadavg: 2.22 2.12 2.06 3/238 59138
/proc/meminfo: memFree=128629684/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3453.63 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137861 0 0 0 345334 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.11 2.06 3/239 59144
/proc/meminfo: memFree=128630744/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3513.49 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137861 0 0 0 351320 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.10 2.06 3/239 59146
/proc/meminfo: memFree=128631516/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3573.35 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137861 0 0 0 357306 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 2.11 2.11 2.06 2/235 59160
/proc/meminfo: memFree=128644236/131382116 swapFree=33010684/33010684
[pid=58880] ppid=58872 vsize=423980 memory=415028 CPUtime=3600 cores=0,2
/proc/58880/stat : 58880 (NuPBO-DeepOptS+) R 58872 58880 58792 0 -1 4194304 137874 0 0 0 359971 29 0 0 20 0 1 0 57555395 434155520 103757 18446744073709551615 4198400 15468185 140720582009248 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52727808 140720582011288 140720582011396 140720582011396 140720582016998 0
/proc/58880/statm: 105995 103757 2816 2752 0 102648 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 423980 KiB
Current children cumulated memory: 415028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 58880 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.71 s, system=0.297771 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.02
CPU time (s): 3600.01
CPU user time (s): 3599.71
CPU system time (s): 0.297771
CPU usage (%): 99.7506
Max. virtual memory (cumulated for all children) (KiB): 437688
Max. memory (cumulated for all children) (KiB): 426492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.297771
maximum resident set size= 426492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137877
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= 65
involuntary context switches= 8103
# summary of solver processes directly reported to runsolver:
# pid: 58880
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.71
# total CPU system time (s): 0.297771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4429 second user time and 32.7682 second system time
The end
Begin job on nodeC010 at 2025-07-02 03:12:40
IDJOB=4498976
IDBENCH=148768
IDSOLVER=3343
FILE ID=nodeC010/4498976-1751418760
RUNJOBID= nodeC010-1751418760-58836
SLURM_JOB_ID= 9598338
Free space on /tmp= 432476 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498976-1751418760/watcher-4498976-1751418760 -o /tmp/evaluation-result-4498976-1751418760/solver-4498976-1751418760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751418760-58836 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4498976-1751418760.opb -t 3600 -s 28138621
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=28138621
nodeC010 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.146
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.36
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.621
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.36
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.429
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.36
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 : 1196.961
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.36
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.350
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.36
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 : 1198.391
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.36
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.349
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.36
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.149
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129114584 kB
MemAvailable: 129956352 kB
Buffers: 3280 kB
Cached: 1647696 kB
SwapCached: 0 kB
Active: 379752 kB
Inactive: 1341320 kB
Active(anon): 88056 kB
Inactive(anon): 0 kB
Active(file): 291696 kB
Inactive(file): 1341320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59316 kB
Writeback: 0 kB
AnonPages: 73232 kB
Mapped: 104336 kB
Shmem: 17960 kB
KReclaimable: 96760 kB
Slab: 180072 kB
SReclaimable: 96760 kB
SUnreclaim: 83312 kB
KernelStack: 3904 kB
PageTables: 2608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 340944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432416 MiB
End job on nodeC010 at 2025-07-02 04:12:49