Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR-S 2025-06-01 | ? (TO) | 3602.29 | 3615.04 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb |
| MD5SUM | b261ca8837cd3a85e5e1f3e7a937d60a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -52506 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 40451 |
| Total number of constraints | 40950 |
| Number of constraints which are clauses | 40396 |
| Number of constraints which are cardinality constraints (but not clauses) | 553 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40128 |
| Number of terms in the objective function | 28908 |
| Biggest coefficient in the objective function | 994 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 14671668 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 994 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 14671668 |
| 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 |
1.55/1.68 c 40949 constraints 1.55/1.68 c after presolve 63861 11.62/11.71 c Finish cloning data from SAT to LS 11.62/11.71 c intsize: 24 1008.40/1012.28 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1068.41/1072.48 c Use LS-small 1068.41/1072.48 o 0 1068.41/1072.48 o -30289 1068.41/1072.48 o -30718 1068.41/1072.48 c SAT by LS-small 1068.41/1072.48 o -30718 1393.22/1398.31 o -30897 1412.26/1417.43 o -30946 1423.72/1428.97 o -31048 1423.83/1429.05 o -31321 1424.12/1429.35 o -31601 1424.22/1429.46 o -31658 1424.32/1429.58 o -31964 1432.98/1438.23 o -31988 1490.72/1496.19 o -32158 1490.90/1496.34 o -32237 1491.00/1496.48 o -32412 1491.20/1496.66 o -32707 1491.30/1496.77 o -32836 1491.50/1496.90 o -33004 1491.71/1497.18 o -33330 1492.10/1497.56 o -33464 1492.20/1497.65 o -33488 1492.40/1497.86 o -33682 1492.50/1497.95 o -33753 1492.80/1498.23 o -33832 1510.55/1516.02 o -33845 1522.40/1527.90 o -34030 1523.19/1528.76 o -34049 1523.29/1528.85 o -34082 1523.50/1529.10 o -34125 1523.79/1529.34 o -34275 1524.29/1529.86 o -34281 1524.50/1530.01 o -34500 1709.99/1716.14 o -34508 1864.86/1871.54 o -34515 1895.56/1902.30 o -34745 1897.85/1904.63 o -34769 1901.25/1908.05 o -34835 1903.14/1909.92 o -34937 1903.53/1910.36 o -34955 1904.34/1911.18 o -35104 1908.12/1914.94 o -35108 1911.61/1918.41 o -35177 1921.19/1928.01 o -35227 1936.43/1943.31 o -35304 1973.12/1980.11 o -35428 1982.48/1989.58 o -35440 1982.67/1989.76 o -35512 1987.36/1994.49 o -35513 2029.12/2036.35 o -35539 2041.38/2048.67 o -35558 2041.68/2048.96 o -35583 2127.70/2135.22 o -35768 2192.78/2200.53 o -36108 2193.78/2201.53 o -36127 2193.88/2201.64 o -36243 2194.18/2201.93 o -36321 2195.77/2203.51 o -36365 2195.97/2203.70 o -36371 2196.17/2203.97 o -36379 2196.57/2204.34 o -36408 2629.04/2638.37 o -36456 2913.78/2924.15 o -36462 2918.95/2929.30 o -36466 2922.34/2932.76 o -36754 2922.75/2933.13 o -36920 2923.74/2934.16 o -36924 2937.19/2947.62 o -37021 2951.93/2962.47 o -37038 2952.13/2962.65 o -37040 2952.43/2962.94 o -37087 2952.64/2963.15 o -37111 2957.91/2968.41 o -37149 2960.90/2971.48 o -37161 2965.98/2976.57 o -37295 2969.37/2979.99 o -37302 2969.97/2980.56 o -37304 2970.58/2981.15 o -37351 2971.07/2981.64 o -37715 2971.96/2982.59 o -37728 2975.25/2985.83 o -37887 2975.95/2986.53 o -37956 2984.62/2995.24 o -38072 3032.55/3043.39 o -38081 3122.42/3133.57 o -38433 3126.80/3137.91 o -38663 3128.59/3139.71 o -39047 3135.67/3146.80 o -39144 3144.53/3155.77 o -39175 3179.00/3190.35 o -39360 3529.21/3541.70 o -39372
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: 63837 MiB (63187 MiB free)
memory of node 1: 64465 MiB (63747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505701-1751487178/watcher-4505701-1751487178 -o /tmp/evaluation-result-4505701-1751487178/solver-4505701-1751487178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751487178-66393 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4505701-1751487178.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66453, runsolver pid=66441
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 1.50 1.68 2.24 7/253 66454
/proc/meminfo: memFree=129800216/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=87120 memory=44944 CPUtime=0.07 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 6844 0 0 0 4 3 0 0 20 0 1 0 64396594 89210880 11236 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 21780 11236 1600 2271 0 16418 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 87120 KiB
Current children cumulated memory: 44944 KiB
[startup+0.213083 s]*
/proc/loadavg: 1.50 1.68 2.24 7/253 66454
/proc/meminfo: memFree=129638456/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=96776 memory=55416 CPUtime=0.18 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 9946 0 0 0 14 4 0 0 20 0 1 0 64396594 99098624 13854 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 24194 13854 1632 2271 0 18832 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 96776 KiB
Current children cumulated memory: 55416 KiB
[startup+0.313446 s]*
/proc/loadavg: 1.50 1.68 2.24 7/253 66454
/proc/meminfo: memFree=129582948/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=103616 memory=64764 CPUtime=0.29 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 11778 0 0 0 24 5 0 0 20 0 1 0 64396594 106102784 16191 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 25904 16191 1632 2271 0 20542 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103616 KiB
Current children cumulated memory: 64764 KiB
[startup+0.700287 s]
/proc/loadavg: 1.50 1.68 2.24 7/253 66454
/proc/meminfo: memFree=129506208/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=107268 memory=68556 CPUtime=0.65 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 14857 0 0 0 59 6 0 0 20 0 1 0 64396594 109842432 17139 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 26817 17139 1632 2271 0 21455 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 107268 KiB
Current children cumulated memory: 68556 KiB
[startup+1.50029 s]
/proc/loadavg: 1.50 1.68 2.24 6/253 66454
/proc/meminfo: memFree=129369440/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=160880 memory=121524 CPUtime=1.46 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 25665 0 0 0 135 11 0 0 20 0 1 0 64396594 164741120 30381 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 40220 30381 1792 2271 0 34858 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 160880 KiB
Current children cumulated memory: 121524 KiB
[startup+3.11235 s]
/proc/loadavg: 1.70 1.72 2.25 6/253 66454
/proc/meminfo: memFree=127067060/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=987156 memory=930740 CPUtime=3.06 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 227945 0 0 0 259 47 0 0 20 0 1 0 64396594 1010847744 232685 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 246789 232685 1792 2271 0 241427 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 987156 KiB
Current children cumulated memory: 930740 KiB
[startup+6.30029 s]
/proc/loadavg: 1.70 1.72 2.25 6/253 66454
/proc/meminfo: memFree=122296488/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=3025424 memory=2969140 CPUtime=6.24 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 737554 0 0 0 497 127 0 0 20 0 1 0 64396594 3098034176 742285 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 756395 742285 1792 2271 0 751033 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3025424 KiB
Current children cumulated memory: 2969140 KiB
[startup+12.7003 s]
/proc/loadavg: 1.88 1.75 2.26 6/253 66455
/proc/meminfo: memFree=115147576/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=6736164 memory=6683188 CPUtime=12.62 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1664720 0 0 0 997 265 0 0 20 0 1 0 64396594 6897831936 1670797 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1684041 1670797 3296 2271 0 1678679 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 6736164 KiB
Current children cumulated memory: 6683188 KiB
[startup+25.5003 s]
/proc/loadavg: 2.43 1.88 2.29 6/253 66455
/proc/meminfo: memFree=114865764/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=6989824 memory=6867524 CPUtime=25.37 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1712072 0 0 0 2264 273 0 0 20 0 1 0 64396594 7157579776 1716881 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1747456 1716881 3328 2271 0 1742094 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 6989824 KiB
Current children cumulated memory: 6867524 KiB
[startup+51.1125 s]
/proc/loadavg: 2.97 2.05 2.34 6/253 66455
/proc/meminfo: memFree=114726960/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=6989824 memory=6868036 CPUtime=50.9 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1712204 0 0 0 4816 274 0 0 20 0 1 0 64396594 7157579776 1717009 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1747456 1717009 3328 2271 0 1742094 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 6989824 KiB
Current children cumulated memory: 6868036 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.37 2.43 6/254 66462
/proc/meminfo: memFree=114182240/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7007960 memory=6885440 CPUtime=101.91 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1715518 0 0 0 9915 276 0 0 20 0 1 0 64396594 7176151040 1721360 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1751990 1721360 3328 2271 0 1746628 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 7007960 KiB
Current children cumulated memory: 6885440 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.70 2.55 6/254 66464
/proc/meminfo: memFree=96655764/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7040800 memory=6913216 CPUtime=161.71 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1722482 0 0 0 15893 278 0 0 20 0 1 0 64396594 7209779200 1728304 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1760200 1728304 3328 2271 0 1754838 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 7040800 KiB
Current children cumulated memory: 6913216 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.95 2.64 6/254 66511
/proc/meminfo: memFree=112863308/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7163104 memory=7015560 CPUtime=221.47 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1746133 0 0 0 21863 284 0 0 20 0 1 0 64396594 7335018496 1753890 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1790776 1753890 3328 2271 0 1785414 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 7163104 KiB
Current children cumulated memory: 7015560 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.18 2.74 6/254 66558
/proc/meminfo: memFree=110657424/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7171988 memory=7018100 CPUtime=281.24 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1746253 0 0 0 27839 285 0 0 20 0 1 0 64396594 7344115712 1754525 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1792997 1754525 3328 2271 0 1787635 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 7171988 KiB
Current children cumulated memory: 7018100 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.35 2.83 6/250 66607
/proc/meminfo: memFree=112728816/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7176432 memory=7018356 CPUtime=341.02 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1746330 0 0 0 33814 288 0 0 20 0 1 0 64396594 7348666368 1754589 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1794108 1754589 3328 2271 0 1788746 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 7176432 KiB
Current children cumulated memory: 7018356 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.48 2.91 6/249 66609
/proc/meminfo: memFree=112986236/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7202460 memory=7023604 CPUtime=400.79 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1747667 0 0 0 39789 290 0 0 20 0 1 0 64396594 7375319040 1755901 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1800615 1755901 3328 2271 0 1795253 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 7202460 KiB
Current children cumulated memory: 7023604 KiB
[startup+462.3 s]
/proc/loadavg: 4.71 3.76 3.04 6/249 66611
/proc/meminfo: memFree=113442336/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=7211756 memory=7025268 CPUtime=460.58 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1748095 0 0 0 45766 292 0 0 20 0 1 0 64396594 7384838144 1756317 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 1802939 1756317 3328 2271 0 1797577 0
Current children cumulated CPU time: 460.58 s
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.04 6/250 67499
/proc/meminfo: memFree=112253628/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8731612 memory=8216600 CPUtime=3031.55 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1792333 0 0 0 302612 543 0 0 20 0 1 0 64396594 8941170688 2054150 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2182903 2054150 3360 2271 0 2177541 0
Current children cumulated CPU time: 3031.55 s
Current children cumulated vsize: 8731612 KiB
Current children cumulated memory: 8216600 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.04 6/250 67501
/proc/meminfo: memFree=112272000/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8747628 memory=8231192 CPUtime=3091.33 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1796165 0 0 0 308569 564 0 0 20 0 1 0 64396594 8957571072 2057798 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2186907 2057798 3360 2271 0 2181545 0
Current children cumulated CPU time: 3091.33 s
Current children cumulated vsize: 8747628 KiB
Current children cumulated memory: 8231192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.04 6/250 67503
/proc/meminfo: memFree=112269616/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8750756 memory=8234136 CPUtime=3151.11 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1796993 0 0 0 314545 566 0 0 20 0 1 0 64396594 8960774144 2058534 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2187689 2058534 3360 2271 0 2182327 0
Current children cumulated CPU time: 3151.11 s
Current children cumulated vsize: 8750756 KiB
Current children cumulated memory: 8234136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.04 6/250 67510
/proc/meminfo: memFree=112237000/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3210.88 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1798671 0 0 0 320519 569 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3210.88 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/250 67512
/proc/meminfo: memFree=112240424/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3270.69 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1798939 0 0 0 326498 571 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3270.69 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.05 6/250 67514
/proc/meminfo: memFree=112218664/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3330.48 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1799194 0 0 0 332476 572 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3330.48 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.05 6/250 67516
/proc/meminfo: memFree=112212212/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3390.28 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1799482 0 0 0 338454 574 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3390.28 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.05 6/251 67521
/proc/meminfo: memFree=112188280/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3450.07 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1799814 0 0 0 344431 576 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/251 67523
/proc/meminfo: memFree=112227692/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8757832 memory=8240152 CPUtime=3509.87 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1800232 0 0 0 350408 579 0 0 20 0 1 0 64396594 8968019968 2060038 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2189458 2060038 3360 2271 0 2184096 0
Current children cumulated CPU time: 3509.87 s
Current children cumulated vsize: 8757832 KiB
Current children cumulated memory: 8240152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/251 67525
/proc/meminfo: memFree=112150168/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8760148 memory=8241048 CPUtime=3569.66 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1801454 0 0 0 356381 585 0 0 20 0 1 0 64396594 8970391552 2060262 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2190037 2060262 3360 2271 0 2184675 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 8760148 KiB
Current children cumulated memory: 8241048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.11 4.11 4.06 3/243 67541
/proc/meminfo: memFree=121436960/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8760148 memory=8241048 CPUtime=3600.05 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1801641 0 0 0 359420 585 0 0 20 0 1 0 64396594 8970391552 2060262 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2190037 2060262 3360 2271 0 2184675 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8760148 KiB
Current children cumulated memory: 8241048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.04 s]
# the end of solver process 66453 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3596.2 s, system=6.09611 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.11 4.11 4.06 5/246 67565
/proc/meminfo: memFree=121431080/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8760148 memory=8241048 CPUtime=3600.85 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1801648 0 0 0 359500 585 0 0 20 0 1 0 64396594 8970391552 2060262 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2190037 2060262 3360 2271 0 2184675 0
Current children cumulated CPU time: 3600.85 s
Current children cumulated vsize: 8760148 KiB
Current children cumulated memory: 8241048 KiB
[startup+3614.4 s]
/proc/loadavg: 4.18 4.13 4.07 5/251 67615
/proc/meminfo: memFree=121396756/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8760148 memory=8241048 CPUtime=3601.64 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1801650 0 0 0 359579 585 0 0 20 0 1 0 64396594 8970391552 2060262 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2190037 2060262 3360 2271 0 2184675 0
Current children cumulated CPU time: 3601.64 s
Current children cumulated vsize: 8760148 KiB
Current children cumulated memory: 8241048 KiB
[startup+3614.8 s]
/proc/loadavg: 4.18 4.13 4.07 5/251 67615
/proc/meminfo: memFree=121396756/131382120 swapFree=33010416/33010684
[pid=66453] ppid=66441 vsize=8760148 memory=8243096 CPUtime=3602.04 cores=1,3
/proc/66453/stat : 66453 (ExactPR-S) R 66441 66453 66381 0 -1 4194304 1801652 0 0 0 359619 585 0 0 20 0 1 0 64396594 8970391552 2060774 18446744073709551615 94590603280384 94590612580421 140723141420544 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94590614366528 94590614405608 94590645444608 140723141425537 140723141425674 140723141425674 140723141431276 0
/proc/66453/statm: 2190037 2060774 3360 2271 0 2184675 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 8760148 KiB
Current children cumulated memory: 8243096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.04
CPU time (s): 3602.29
CPU user time (s): 3596.2
CPU system time (s): 6.09611
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 9560228
Max. memory (cumulated for all children) (KiB): 8612228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.2
system time used= 6.09611
maximum resident set size= 8866180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1801652
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= 161
involuntary context switches= 2292
# summary of solver processes directly reported to runsolver:
# pid: 66453
# total CPU time (s): 3602.29
# total CPU user time (s): 3596.2
# total CPU system time (s): 6.09611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9413 second user time and 28.6391 second system time
The end
Begin job on nodeC003 at 2025-07-02 22:12:58 IDJOB=4505701 IDBENCH=156875 IDSOLVER=3326 FILE ID=nodeC003/4505701-1751487178 RUNJOBID= nodeC003-1751487178-66393 SLURM_JOB_ID= 9598542 Free space on /tmp= 432004 MiB SOLVER NAME= ExactPR-S 2025-06-01 BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505701-1751487178/watcher-4505701-1751487178 -o /tmp/evaluation-result-4505701-1751487178/solver-4505701-1751487178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751487178-66393 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4505701-1751487178.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b261ca8837cd3a85e5e1f3e7a937d60a RANDOM SEED=1368529897 nodeC003 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.286 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.44 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.154 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.44 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 : 3700.000 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.44 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.157 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.44 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 : 1795.793 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.222 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.44 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.164 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.44 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.161 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 130009740 kB MemAvailable: 129947700 kB Buffers: 2736 kB Cached: 735888 kB SwapCached: 36 kB Active: 561668 kB Inactive: 243840 kB Active(anon): 77232 kB Inactive(anon): 7612 kB Active(file): 484436 kB Inactive(file): 236228 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 86120 kB Writeback: 8 kB AnonPages: 69964 kB Mapped: 103336 kB Shmem: 17924 kB KReclaimable: 113848 kB Slab: 199256 kB SReclaimable: 113848 kB SUnreclaim: 85408 kB KernelStack: 3872 kB PageTables: 2796 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 331572 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431964 MiB End job on nodeC003 at 2025-07-02 23:13:14