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 (62622 MiB free)
memory of node 1: 64465 MiB (60416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497715-1751379827/watcher-4497715-1751379827 -o /tmp/evaluation-result-4497715-1751379827/solver-4497715-1751379827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751371144-48820 --watchdog 3760 HOME/opbsolver HOME/instance-4497715-1751379827.opb 3600 31000 HOME HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=51422, runsolver pid=51419
[startup+0.10007 s]*
/proc/loadavg: 4.12 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125952064/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=56340 memory=45056 CPUtime=0.08 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 9128 0 0 0 7 1 0 0 20 0 1 0 53662117 57692160 11264 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 14085 11264 2400 2826 0 10697 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60532 KiB
Current children cumulated memory: 48128 KiB
[startup+0.213822 s]*
/proc/loadavg: 4.12 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125944000/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=70604 memory=58624 CPUtime=0.19 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 12442 0 0 0 17 2 0 0 20 0 1 0 53662117 72298496 14656 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 17651 14656 2464 2826 0 14263 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74796 KiB
Current children cumulated memory: 61696 KiB
[startup+0.314076 s]*
/proc/loadavg: 4.12 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125935936/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=80308 memory=62208 CPUtime=0.29 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 13277 0 0 0 27 2 0 0 20 0 1 0 53662117 82235392 15552 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 20077 15552 2528 2826 0 16689 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84500 KiB
Current children cumulated memory: 65280 KiB
[startup+0.700411 s]
/proc/loadavg: 4.12 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125922580/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=103576 memory=85492 CPUtime=0.66 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 19671 0 0 0 62 4 0 0 20 0 1 0 53662117 106061824 21373 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 25894 21373 2656 2826 0 22506 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 107768 KiB
Current children cumulated memory: 88564 KiB
[startup+1.50041 s]
/proc/loadavg: 4.12 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125878228/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=142116 memory=121744 CPUtime=1.46 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 32395 0 0 0 139 7 0 0 20 0 1 0 53662117 145526784 30436 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 35529 30436 2688 2826 0 32141 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 146308 KiB
Current children cumulated memory: 124816 KiB
[startup+3.1132 s]
/proc/loadavg: 4.19 4.26 4.21 5/255 51426
/proc/meminfo: memFree=125847920/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=169620 memory=148316 CPUtime=3.07 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 39183 0 0 0 299 8 0 0 20 0 1 0 53662117 173690880 37079 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 42405 37079 2688 2826 0 39017 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 173812 KiB
Current children cumulated memory: 151388 KiB
[startup+6.3004 s]
/proc/loadavg: 4.19 4.26 4.21 5/255 51426
/proc/meminfo: memFree=125829300/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=206988 memory=175708 CPUtime=6.24 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 46021 0 0 0 615 9 0 0 20 0 1 0 53662117 211955712 43927 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 51747 43927 2688 2826 0 48359 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 211180 KiB
Current children cumulated memory: 178780 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.25 4.20 5/255 51426
/proc/meminfo: memFree=125822312/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=237476 memory=206684 CPUtime=12.62 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 53767 0 0 0 1252 10 0 0 20 0 1 0 53662117 243175424 51671 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 59369 51671 2688 2826 0 55981 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 241668 KiB
Current children cumulated memory: 209756 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.24 4.20 5/256 51428
/proc/meminfo: memFree=125868076/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=237476 memory=206684 CPUtime=25.38 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 53778 0 0 0 2528 10 0 0 20 0 1 0 53662117 243175424 51671 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 59369 51671 2688 2826 0 55981 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 241668 KiB
Current children cumulated memory: 209756 KiB
[startup+51.1132 s]
/proc/loadavg: 4.17 4.24 4.20 5/256 51428
/proc/meminfo: memFree=125985128/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=237476 memory=207580 CPUtime=50.92 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 54025 0 0 0 5081 11 0 0 20 0 1 0 53662117 243175424 51895 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 59369 51895 2688 2826 0 55981 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 241668 KiB
Current children cumulated memory: 210652 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.31 4.22 5/255 51430
/proc/meminfo: memFree=126026420/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=292404 memory=229980 CPUtime=101.96 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 59612 0 0 0 10183 13 0 0 20 0 1 0 53662117 299421696 57495 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 73101 57495 2688 2826 0 69713 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 296596 KiB
Current children cumulated memory: 233052 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 4.36 4.25 5/255 51438
/proc/meminfo: memFree=125947528/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=334532 memory=255708 CPUtime=161.78 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 66055 0 0 0 16163 15 0 0 20 0 1 0 53662117 342560768 63927 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 83633 63927 2688 2826 0 80245 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 338724 KiB
Current children cumulated memory: 258780 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.34 4.25 5/255 51440
/proc/meminfo: memFree=125862828/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=347932 memory=263288 CPUtime=221.61 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 68817 0 0 0 22145 16 0 0 20 0 1 0 53662117 356282368 65822 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 86983 65822 2688 2826 0 83595 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 89925 0 0 0 40087 23 0 0 20 0 1 0 53662117 470753280 85636 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 114930 85636 2688 2826 0 111542 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 463912 KiB
Current children cumulated memory: 345616 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.19 4.20 5/254 51459
/proc/meminfo: memFree=128295628/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 262 239 0 0 0 0 0 0 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51426] ppid=51422 vsize=479108 memory=350736 CPUtime=460.92 cores=0,2
/proc/51426/stat : 51426 (pbcpreprocessor) R 51422 51422 48810 0 -1 4194304 91968 0 0 0 46068 24 0 0 20 0 1 0 53662117 490606592 87684 18446744073709551615 4198400 15773533 140734873060464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 38658048 140734873065796 140734873065950 140734873065950 140734873071557 0
/proc/51426/statm: 119777 87684 2688 2826 0 116389 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 483300 KiB
Current children cumulated memory: 353808 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.18 4.20 5/254 51466
/proc/meminfo: memFree=128571428/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=88600 memory=64320 CPUtime=21.79 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 7406 0 0 0 2177 2 0 0 20 0 1 0 53712158 90726400 16080 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 22150 16080 448 424 0 21605 0
Current children cumulated CPU time: 520.71 s
Current children cumulated vsize: 92792 KiB
Current children cumulated memory: 67392 KiB
[startup+582.3 s]
/proc/loadavg: 4.05 4.15 4.18 5/253 51468
/proc/meminfo: memFree=128517884/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=99020 memory=90056 CPUtime=81.61 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 10445 0 0 0 8155 6 0 0 20 0 1 0 53712158 101396480 22514 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 24755 22514 448 424 0 24210 0
Current children cumulated CPU time: 580.53 s
Current children cumulated vsize: 103212 KiB
Current children cumulated memory: 93128 KiB
[startup+642.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/253 51470
/proc/meminfo: memFree=128449268/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=110512 memory=101784 CPUtime=141.43 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 10861 0 0 0 14135 8 0 0 20 0 1 0 53712158 113164288 25446 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 27628 25446 448 424 0 27083 0
Current children cumulated CPU time: 640.35 s
Current children cumulated vsize: 114704 KiB
Current children cumulated memory: 104856 KiB
[startup+702.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/254 51473
/proc/meminfo: memFree=128357380/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136364 memory=116936 CPUtime=201.25 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11607 0 0 0 20113 12 0 0 20 0 1 0 53712158 139636736 29234 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34091 29234 448 424 0 33546 0
Current children cumulated CPU time: 700.17 s
Current children cumulated vsize: 140556 KiB
Current children cumulated memory: 120008 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/255 51482
/proc/meminfo: memFree=128358768/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=119496 CPUtime=261.06 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11769 0 0 0 26092 14 0 0 20 0 1 0 53712158 140144640 29874 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 29874 448 424 0 33670 0
Current children cumulated CPU time: 759.98 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 122568 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/256 51535
/proc/meminfo: memFree=128259544/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=121676 CPUtime=320.88 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11833 0 0 0 32072 16 0 0 20 0 1 0 53712158 140144640 30419 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 30419 448 424 0 33670 0
Current children cumulated CPU time: 819.8 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 124748 KiB
[startup+823.16 s]
# the end of solver process 51422 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=820.208 s, system=0.467463 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+822.401 s]
/proc/loadavg: 4.11 4.12 4.16 5/256 51535
/proc/meminfo: memFree=128259544/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=121676 CPUtime=320.98 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11833 0 0 0 32082 16 0 0 20 0 1 0 53712158 140144640 30419 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 30419 448 424 0 33670 0
Current children cumulated CPU time: 819.9 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 124748 KiB
[startup+822.8 s]
/proc/loadavg: 4.11 4.12 4.16 5/256 51535
/proc/meminfo: memFree=128259544/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=121676 CPUtime=321.38 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11833 0 0 0 32122 16 0 0 20 0 1 0 53712158 140144640 30419 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 30419 448 424 0 33670 0
Current children cumulated CPU time: 820.3 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 124748 KiB
[startup+823 s]*
/proc/loadavg: 4.11 4.12 4.16 5/256 51535
/proc/meminfo: memFree=128259544/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=121676 CPUtime=321.59 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11833 0 0 0 32143 16 0 0 20 0 1 0 53712158 140144640 30419 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 30419 448 424 0 33670 0
Current children cumulated CPU time: 820.51 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 124748 KiB
[startup+823.113 s]
/proc/loadavg: 4.11 4.12 4.16 5/256 51535
/proc/meminfo: memFree=128259544/131382116 swapFree=33010684/33010684
[pid=51422] ppid=51419 vsize=4192 memory=3072 CPUtime=498.92 cores=0,2
/proc/51422/stat : 51422 (opbsolver) S 51419 51422 48810 0 -1 4194304 408 95488 0 0 0 0 49863 29 20 0 1 0 53662115 4292608 768 18446744073709551615 94204607586304 94204608480837 140737043666448 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94204608719888 94204608767632 94204616658944 140737043675422 140737043675625 140737043675625 140737043681227 0
/proc/51422/statm: 1048 768 704 219 0 110 0
[pid=51465] ppid=51422 vsize=136860 memory=121676 CPUtime=321.69 cores=0,2
/proc/51465/stat : 51465 (wmaxcdcl) R 51422 51422 48810 0 -1 4194304 11833 0 0 0 32153 16 0 0 20 0 1 0 53712158 140144640 30419 18446744073709551615 4198400 5932793 140721909680016 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 23908352 140721909684571 140721909684716 140721909684716 140721909690316 0
/proc/51465/statm: 34215 30419 448 424 0 33670 0
Current children cumulated CPU time: 820.61 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 124748 KiB
Child status: 0
Real time (s): 823.16
CPU time (s): 820.675
CPU user time (s): 820.208
CPU system time (s): 0.467463
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 495072
Max. memory (cumulated for all children) (KiB): 359312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 820.208
system time used= 0.467463
maximum resident set size= 356240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489
involuntary context switches= 1894
# summary of solver processes directly reported to runsolver:
# pid: 51422
# total CPU time (s): 820.675
# total CPU user time (s): 820.208
# total CPU system time (s): 0.467463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03639 second user time and 8.69877 second system time
The end
Begin job on nodeC010 at 2025-07-01 16:23:47
IDJOB=4497715
IDBENCH=148191
IDSOLVER=3374
FILE ID=nodeC010/4497715-1751379827
RUNJOBID= nodeC010-1751371144-48820
SLURM_JOB_ID= 9598193
Free space on /tmp= 432616 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497715-1751379827/watcher-4497715-1751379827 -o /tmp/evaluation-result-4497715-1751379827/solver-4497715-1751379827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751371144-48820 --watchdog 3760 HOME/opbsolver HOME/instance-4497715-1751379827.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1758076185
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 : 3492.550
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 : 3691.466
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.146
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 : 3700.000
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 : 3664.609
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 : 3591.644
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 : 3700.000
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 : 3700.000
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: 125992072 kB
MemAvailable: 126564428 kB
Buffers: 3280 kB
Cached: 1379196 kB
SwapCached: 0 kB
Active: 3375032 kB
Inactive: 1073548 kB
Active(anon): 3084064 kB
Inactive(anon): 0 kB
Active(file): 290968 kB
Inactive(file): 1073548 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21000 kB
Writeback: 0 kB
AnonPages: 3069204 kB
Mapped: 127560 kB
Shmem: 17960 kB
KReclaimable: 94932 kB
Slab: 179108 kB
SReclaimable: 94932 kB
SUnreclaim: 84176 kB
KernelStack: 4096 kB
PageTables: 9352 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3699616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 382976 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= 432580 MiB
End job on nodeC010 at 2025-07-01 16:37:30