Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | ? (TO) | 3602.15 | 3612.57 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb |
| MD5SUM | d4787b598273e6d459976691fcf7670c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26846 |
| Best CPU time to get the best result obtained on this benchmark | 4.8452 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 85097 |
| Total number of constraints | 551 |
| Number of constraints which are clauses | 15 |
| Number of constraints which are cardinality constraints (but not clauses) | 536 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 10379 |
| Number of terms in the objective function | 85089 |
| Biggest coefficient in the objective function | 264 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 9572779 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 264 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 9572779 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.09/2.16 c 551 constraints 2.09/2.16 c after presolve 560 6.36/6.44 c Finish cloning data from SAT to LS 6.36/6.44 c intsize: 24 66.40/66.64 c Use LS-small 66.40/66.64 o 0 66.40/66.64 o -227 66.40/66.64 o -456 66.40/66.64 o -673 66.40/66.64 o -887 66.40/66.64 o -1084 66.40/66.64 o -1257 66.40/66.64 o -1450 66.40/66.64 o -1627 66.40/66.64 o -1796 66.40/66.64 o -1932 66.40/66.64 o -2060 66.40/66.64 o -2226 66.40/66.64 o -2363 66.40/66.64 o -2513 66.40/66.64 o -2709 66.40/66.64 o -2877 66.40/66.64 o -3023 66.40/66.64 o -3221 66.40/66.64 o -3392 66.40/66.64 o -3542 66.40/66.64 o -3670 66.40/66.64 o -3848 66.40/66.64 o -4009 66.40/66.64 o -4127 66.40/66.64 o -4272 66.40/66.64 o -4366 66.40/66.64 o -4506 66.40/66.64 o -4660 66.40/66.64 o -4822 66.40/66.64 o -4947 66.40/66.64 o -5144 66.40/66.64 o -5350 66.40/66.64 o -5525 66.40/66.64 o -5764 66.40/66.64 o -5905 66.40/66.64 o -6101 66.40/66.64 o -6263 66.40/66.64 o -6471 66.40/66.64 o -6602 66.40/66.64 o -6755 66.40/66.64 o -6905 66.40/66.64 o -7114 66.40/66.64 o -7255 66.40/66.64 o -7370 66.40/66.64 o -7495 66.40/66.64 o -7665 66.40/66.64 o -7798 66.40/66.64 o -7907 66.40/66.64 o -24206 66.40/66.64 o -24767 66.40/66.64 o -24910 66.40/66.64 o -25221 66.40/66.64 o -25222 66.40/66.64 o -25266 66.40/66.64 o -25282 66.40/66.64 o -25379 66.40/66.64 o -25380 66.40/66.64 o -25481 66.40/66.64 o -25688 66.40/66.64 o -25690 66.40/66.64 o -25726 66.40/66.64 o -25754 66.40/66.64 o -25794 66.40/66.64 o -25832 66.40/66.64 o -25833 66.40/66.64 c SAT by LS-small 66.40/66.64 o -25833
ERROR: no interpretation found !
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: 63794 MiB (51905 MiB free)
memory of node 1: 64507 MiB (40708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522987-1751643915/watcher-4522987-1751643915 -o /tmp/evaluation-result-4522987-1751643915/solver-4522987-1751643915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751643683-92503 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522987-1751643915.opb
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
solver pid=92793, runsolver pid=92790
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.06 2.38 1.06 5/254 92794
/proc/meminfo: memFree=94778496/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=119680 memory=76192 CPUtime=0.09 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 8539 0 0 0 5 4 0 0 20 0 1 0 80070932 122552320 19048 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 29920 19048 1696 2271 0 24558 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 76192 KiB
[startup+0.213248 s]*
/proc/loadavg: 4.06 2.38 1.06 5/254 92794
/proc/meminfo: memFree=94703356/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=153032 memory=108376 CPUtime=0.21 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 14557 0 0 0 15 6 0 0 20 0 1 0 80070932 156704768 27094 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 38258 27094 1696 2271 0 32896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 108376 KiB
[startup+0.313077 s]*
/proc/loadavg: 4.06 2.38 1.06 5/254 92794
/proc/meminfo: memFree=94685652/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=163220 memory=121164 CPUtime=0.31 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 18887 0 0 0 23 8 0 0 20 0 1 0 80070932 167137280 30291 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 40805 30291 1728 2271 0 35443 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 163220 KiB
Current children cumulated memory: 121164 KiB
[startup+0.700318 s]
/proc/loadavg: 4.06 2.38 1.06 5/254 92794
/proc/meminfo: memFree=94669056/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=171632 memory=132340 CPUtime=0.68 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 22596 0 0 0 59 9 0 0 20 0 1 0 80070932 175751168 33085 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 42908 33085 1728 2271 0 37546 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 171632 KiB
Current children cumulated memory: 132340 KiB
[startup+1.50034 s]
/proc/loadavg: 4.05 2.41 1.08 5/254 92794
/proc/meminfo: memFree=94554584/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=225168 memory=184480 CPUtime=1.48 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 34586 0 0 0 135 13 0 0 20 0 1 0 80070932 230572032 46120 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 56292 46120 1888 2271 0 50930 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225168 KiB
Current children cumulated memory: 184480 KiB
[startup+3.11301 s]
/proc/loadavg: 4.05 2.41 1.08 5/254 92794
/proc/meminfo: memFree=93998664/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=866492 memory=805664 CPUtime=3.09 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 189856 0 0 0 273 36 0 0 20 0 1 0 80070932 887287808 201384 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 216623 201384 1888 2271 0 211261 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 866492 KiB
Current children cumulated memory: 805664 KiB
[startup+6.3003 s]
/proc/loadavg: 4.05 2.44 1.10 5/254 92794
/proc/meminfo: memFree=92116512/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=2825164 memory=2764576 CPUtime=6.27 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 679590 0 0 0 515 112 0 0 20 0 1 0 80070932 2892967936 691112 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 706291 691144 1888 2271 0 700929 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2825164 KiB
Current children cumulated memory: 2764576 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 2.46 1.11 5/254 92795
/proc/meminfo: memFree=91880680/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=2901556 memory=2852640 CPUtime=12.65 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 701589 0 0 0 1138 127 0 0 20 0 1 0 80070932 2971193344 713160 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 725389 713160 1920 2271 0 720027 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2901556 KiB
Current children cumulated memory: 2852640 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 2.53 1.15 5/253 92809
/proc/meminfo: memFree=102209436/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=2901556 memory=2854816 CPUtime=25.41 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 702152 0 0 0 2388 153 0 0 20 0 1 0 80070932 2971193344 713704 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 725389 713704 1920 2271 0 720027 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2901556 KiB
Current children cumulated memory: 2854816 KiB
[startup+51.1131 s]
/proc/loadavg: 4.07 2.67 1.24 5/253 92840
/proc/meminfo: memFree=95129948/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=2901556 memory=2854944 CPUtime=50.95 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 702172 0 0 0 4892 203 0 0 20 0 1 0 80070932 2971193344 713736 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 725389 713736 1920 2271 0 720027 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2901556 KiB
Current children cumulated memory: 2854944 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 2.91 1.40 5/252 92843
/proc/meminfo: memFree=94964932/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=3060792 memory=3014856 CPUtime=101.99 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 707079 0 0 0 9955 244 0 0 20 0 1 0 80070932 3134251008 753714 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 765198 753714 1920 2271 0 759836 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3060792 KiB
Current children cumulated memory: 3014856 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.13 1.57 5/251 92845
/proc/meminfo: memFree=94390740/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=3531692 memory=3497640 CPUtime=161.79 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 739192 0 0 0 15910 269 0 0 20 0 1 0 80070932 3616452608 874410 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 882923 874410 1952 2271 0 877561 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3531692 KiB
Current children cumulated memory: 3497640 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.31 1.73 5/251 92847
/proc/meminfo: memFree=92864940/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=5476812 memory=4979120 CPUtime=221.58 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 952655 0 0 0 21809 349 0 0 20 0 1 0 80070932 5608255488 1244780 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 1369203 1244780 1952 2271 0 1363841 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 5476812 KiB
Current children cumulated memory: 4979120 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.45 1.88 5/250 92849
/proc/meminfo: memFree=90560264/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=7684596 memory=6821732 CPUtime=281.38 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1198079 0 0 0 27691 447 0 0 20 0 1 0 80070932 7869026304 1705433 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 1921149 1705433 1952 2271 0 1915787 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 7684596 KiB
Current children cumulated memory: 6821732 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.57 2.02 5/250 92857
/proc/meminfo: memFree=88343608/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=8996532 memory=8425944 CPUtime=341.18 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1452885 0 0 0 33615 503 0 0 20 0 1 0 80070932 9212448768 2106486 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2249133 2106486 1952 2271 0 2243771 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 8996532 KiB
Current children cumulated memory: 8425944 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.66 2.15 5/249 92859
/proc/meminfo: memFree=87790612/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11003892 memory=8589028 CPUtime=400.99 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1458711 0 0 0 39537 562 0 0 20 0 1 0 80070932 11267985408 2147257 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2750973 2147257 1952 2271 0 2745611 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 11003892 KiB
Current children cumulated memory: 8589028 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.76 2.28 5/251 92907
/proc/meminfo: memFree=97212292/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11003892 memory=8589028 CPUtime=460.77 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1459674 0 0 0 45514 563 0 0 20 0 1 0 80070932 11267985408 2147257 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2750973 2147257 1952 2271 0 2745611 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/250 93089
/proc/meminfo: memFree=80176636/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8766520 CPUtime=3093.25 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1495675 0 0 0 308677 648 0 0 20 0 1 0 80070932 11273367552 2191630 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2191630 1952 2271 0 2746925 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8766520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/250 93091
/proc/meminfo: memFree=80182676/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8766520 CPUtime=3153.09 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1496704 0 0 0 314660 649 0 0 20 0 1 0 80070932 11273367552 2191630 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2191630 1952 2271 0 2746925 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8766520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/251 93094
/proc/meminfo: memFree=80186108/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8766648 CPUtime=3212.9 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1497595 0 0 0 320640 650 0 0 20 0 1 0 80070932 11273367552 2191662 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2191662 1952 2271 0 2746925 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8766648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/251 93096
/proc/meminfo: memFree=80163852/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8766904 CPUtime=3272.73 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1498669 0 0 0 326622 651 0 0 20 0 1 0 80070932 11273367552 2191726 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2191726 1952 2271 0 2746925 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8766904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/250 93098
/proc/meminfo: memFree=80185956/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8767288 CPUtime=3332.58 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1499945 0 0 0 332606 652 0 0 20 0 1 0 80070932 11273367552 2191822 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2191822 1952 2271 0 2746925 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8767288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/251 93107
/proc/meminfo: memFree=80180616/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8768056 CPUtime=3392.42 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1501522 0 0 0 338589 653 0 0 20 0 1 0 80070932 11273367552 2192014 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2192014 1952 2271 0 2746925 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8768056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.02 5/251 93109
/proc/meminfo: memFree=80167572/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8768952 CPUtime=3452.27 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1503318 0 0 0 344572 655 0 0 20 0 1 0 80070932 11273367552 2192238 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2192238 1952 2271 0 2746925 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8768952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/250 93111
/proc/meminfo: memFree=80165144/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8772152 CPUtime=3512.1 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1504657 0 0 0 350554 656 0 0 20 0 1 0 80070932 11273367552 2193038 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2193038 1952 2271 0 2746925 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8772152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/250 93113
/proc/meminfo: memFree=80151172/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8783160 CPUtime=3571.94 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506226 0 0 0 356537 657 0 0 20 0 1 0 80070932 11273367552 2195790 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2195790 1952 2271 0 2746925 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8783160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.13 4.10 4.02 5/251 93114
/proc/meminfo: memFree=80120808/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8790072 CPUtime=3600.08 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506871 0 0 0 359350 658 0 0 20 0 1 0 80070932 11273367552 2197518 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2197518 1952 2271 0 2746925 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8790072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.57 s]
# the end of solver process 92793 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.5 s, system=6.64876 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.10 4.02 5/251 93114
/proc/meminfo: memFree=80120808/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8790072 CPUtime=3600.78 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506873 0 0 0 359420 658 0 0 20 0 1 0 80070932 11273367552 2197518 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2197518 1952 2271 0 2746925 0
Current children cumulated CPU time: 3600.78 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8790072 KiB
[startup+3612 s]*
/proc/loadavg: 4.12 4.09 4.02 5/251 93114
/proc/meminfo: memFree=80120556/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8790072 CPUtime=3601.59 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506874 0 0 0 359501 658 0 0 20 0 1 0 80070932 11273367552 2197518 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2197518 1952 2271 0 2746925 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8790072 KiB
[startup+3612.4 s]
/proc/loadavg: 4.12 4.09 4.02 5/251 93114
/proc/meminfo: memFree=80120556/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8790072 CPUtime=3601.97 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506874 0 0 0 359539 658 0 0 20 0 1 0 80070932 11273367552 2197518 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2197518 1952 2271 0 2746925 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8790072 KiB
[startup+3612.5 s]
/proc/loadavg: 4.12 4.09 4.02 5/251 93114
/proc/meminfo: memFree=80120556/131382120 swapFree=33010416/33010684
[pid=92793] ppid=92790 vsize=11009148 memory=8790072 CPUtime=3602.07 cores=0,2
/proc/92793/stat : 92793 (ExactPR) R 92790 92793 92334 0 -1 4194304 1506874 0 0 0 359549 658 0 0 20 0 1 0 80070932 11273367552 2197518 18446744073709551615 94304985841664 94304995141509 140720995461312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94304996927808 94304996966888 94305029177344 140720995469700 140720995469835 140720995469835 140720995475438 0
/proc/92793/statm: 2752287 2197518 1952 2271 0 2746925 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 11009148 KiB
Current children cumulated memory: 8790072 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.57
CPU time (s): 3602.15
CPU user time (s): 3595.5
CPU system time (s): 6.64876
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 13655604
Max. memory (cumulated for all children) (KiB): 11121360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.5
system time used= 6.64876
maximum resident set size= 11168464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1506874
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= 452
involuntary context switches= 9140
# summary of solver processes directly reported to runsolver:
# pid: 92793
# total CPU time (s): 3602.15
# total CPU user time (s): 3595.5
# total CPU system time (s): 6.64876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7258 second user time and 34.3952 second system time
The end
Begin job on nodeC006 at 2025-07-04 17:45:16 IDJOB=4522987 IDBENCH=179615 IDSOLVER=3324 FILE ID=nodeC006/4522987-1751643915 RUNJOBID= nodeC006-1751643683-92503 SLURM_JOB_ID= 9672311 Free space on /tmp= 431876 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_610_007.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522987-1751643915/watcher-4522987-1751643915 -o /tmp/evaluation-result-4522987-1751643915/solver-4522987-1751643915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751643683-92503 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522987-1751643915.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d4787b598273e6d459976691fcf7670c RANDOM SEED=707029606 nodeC006 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.766 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.32 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 : 3491.742 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.32 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.138 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.502 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.32 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 : 3661.878 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.32 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 : 3691.194 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.32 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.32 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 94836904 kB MemAvailable: 97110028 kB Buffers: 2128 kB Cached: 3036116 kB SwapCached: 12 kB Active: 33179844 kB Inactive: 2571124 kB Active(anon): 32719680 kB Inactive(anon): 10992 kB Active(file): 460164 kB Inactive(file): 2560132 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15560 kB Writeback: 0 kB AnonPages: 32714792 kB Mapped: 115456 kB Shmem: 17948 kB KReclaimable: 184524 kB Slab: 272068 kB SReclaimable: 184524 kB SUnreclaim: 87544 kB KernelStack: 4096 kB PageTables: 67444 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 33294132 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 1794048 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: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431952 MiB End job on nodeC006 at 2025-07-04 18:45:28